Trustworthy Systems

Michael Mospan
Student Intern

Research Interests

Michael is a 3rd year Advanced Computer Science student interested in Operating Systems development. He is currently working on a project to create a Linux library with the goal of emulating the seL4 Microkit.

Contact Details

More contact information is available at the Contact page.

Photo of Michael Mospan