Skip to main content

Victor Phan
Proof Engineer

Research Interests

Formal verification.

Contact Details

Email:Victor.Phan@data61.csiro.au

More contact information is available at the Contact page.

Projects

Current

  • RISC-V

Qualifications

Bachelor of Science in Applied Mathematics & Diploma in Informatics (The University of Melbourne).