Trustworthy Systems

Junming Zhao
Research Engineer

Research Interests

Junming is interested in memory management and formal methods. She is currently learning about seL4.

Contact Details

More contact information is available at the Contact page.

Photo of Junming Zhao


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

Bachelor of Mathematical Sciences, ANU, 2023