Trustworthy Systems

Junming Zhao
PhD Student

Research Interests

Junming is interested in memory management and formal methods. She is currently working on verifiying a Pancake ethernet driver using SMT solvers.

Contact Details

Email:junming.zhao@unsw.edu.au

More contact information is available at the Contact page.

Photo of Junming Zhao

Projects

Current

Qualifications

Bachelor of Advanced Computing (1st class honours), ANU, 2023

Bachelor of Mathematical Sciences, ANU, 2023