Skip to main content

Matthew Phillips
OS Engineer

Research Interests

Matthew is working on the seL4 kernel and ecosystem.

Contact Details

Email:Matthew.Phillips@data61.csiro.au

More contact information is available at the Contact page.

Served by Apache on Linux on seL4.