Trustworthy Systems

Michael Mospan
Student Intern

Research Interests

Michael is currently creating a Linux library with the goal of emulating the seL4 Microkit. His thesis project was designing and implementing a CPU core management tool for multi-core systems within LionsOS.

Contact Details

Email:m.mospan@unsw.edu.au
Web:https://www.linkedin.com/in/mike-mospan/

More contact information is available at the Contact page.

Photo of Michael Mospan

Projects

Current

Recognition and Awards

John Lions Computer Science Honours Award