Mitchell is working on improving the seL4 Mixed-Criticality kernel model, with the aim to create a system with strong temporal isolation properties.
More contact information is available at the Contact page.