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
Publications
Trustworthy Systems Group Papers
2025
|
 |
Junming Zhao, Alessandro Legnani, Tiana Tsang Ung, Halogen Truong, Tsun Wang Sau, Miki Tanaka, Johannes Åman Pohjola, Thomas Sewell, Rob Sison, Hira Syeda, Magnus Myreen, Michael Norrish and Gernot Heiser Verifying device drivers with Pancake arXiv preprint, January, 2025 |