Jingyao Zhou
PhD Student
Research Interests
Jingyao is a PhD student working on seL4 and Djawula, her main focus is on real-time system and temporal resource management. Her thesis title is "Investigation and evaluation of design options for highly performant, secure-by construction operating systems on top of seL4".
Contact Details
| Email: | Jingyao.Zhou@unsw.edu.au |
|---|
More contact information is available at the Contact page.
Projects
Current |
Publications
Trustworthy Systems Group Papers
2025
|
 |
Gernot Heiser, Ivan Velickovic, Peter Chubb, Alwin Joshy, Anuraag Ganesh, Bill Nguyen, Cheng Li, Courtney Darville, Guangtao Zhu, James Archer, Jingyao Zhou, Krishnan Winter, Lucy Parker, Szymon Duchniewicz and Tianyi Bai Fast, secure, adaptable: LionsOS design, implementation and performance arXiv preprint, January, 2025 |