Trustworthy Systems

Simon Sillitoe
OS Engineer

Research Interests

Simon is investigating worst case execution time for seL4 on RISC-V and learning about verification.

Contact Details

Email:s.sillitoe@unsw.edu.au

More contact information is available at the Contact page.

Photo of Simon Sillitoe