Trustworthy Systems

Anna Lyons
PhD Student

Research Interests

Anna was a senior engineer on the seL4 team, taking the role after completing her PhD on the mixed-criticality API and design for seL4. Anna is dedicated to bringing seL4 to the world, by building a strong team of engineers who together build a great platform and community. Anna left Trustworthy Systems in June 2019 to join Ghost Locomotion, and is now at Apple.

Contact Details

Email:alyons@cse.unsw.edu.au

More contact information is available at the Contact page.

Photo of Anna Lyons

Publication List

Projects

Past

Program Committees and Editorial Boards

RTAS2019

Publications

Trustworthy Systems Group Papers

2014

Abstract
Slides
PDF Anna Lyons and Gernot Heiser
Mixed-criticality support in a high-assurance, general-purpose microkernel
Workshop on Mixed Criticality Systems, pp. 9–14, Rome, Italy, December, 2014