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.
Projects
Past |
Program Committees and Editorial Boards
RTAS2019
Publications
Trustworthy Systems Group Papers
2014
 
|
 |
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 |