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:/ |
More contact information is available at the Contact page.
Projects
Current |
Recognition and Awards
John Lions Computer Science Honours Award