Trustworthy Systems

Michael Mospan
Honours Thesis Student

Research Interests

Michael is a 4th year Advanced Computer Science student interested in Operating Systems development. He is currently working on two projects: creating a Linux library with the goal of emulating the seL4 Microkit, and a core management tool for multi-core systems within LionsOS.

Contact Details

Email:m.mospan@unsw.edu.au

More contact information is available at the Contact page.

Photo of Michael Mospan

Projects

Current