Trustworthy Systems

Michael Mospan
Student Intern

Research Interests

Michael is currently working on two projects: creating a Linux library with the goal of emulating the seL4 Microkit, and 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