Trustworthy Systems

Mitchell Johnston
Honours Thesis Student

Research Interests

Mitchell is working on improving the seL4 Mixed-Criticality kernel model, with the aim to create a system with strong temporal isolation properties.

Contact Details

Email:m.johnston@student.unsw.edu.au

More contact information is available at the Contact page.

Photo of Mitchell Johnston