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.
Projects
Current |
Qualifications
Bachelor of Advanced Computing (1st class honours), ANU, 2023
Bachelor of Mathematical Sciences, ANU, 2023