Skip to main content

Anna Lyons
Senior Research Engineer

Research Interests

Anna is 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.

Contact Details

Email:Anna.Lyons@data61.csiro.au

More contact information is available at the Contact page.

Photo of Anna Lyons

Publication List

Projects

Current

Past

Program Committees and Editorial Boards

RTAS2019

Publications

Data61 Papers

2018

Abstract PDF Anna Lyons, Kent Mcleod, Hesham Almatary and Gernot Heiser
Scheduling-context capabilities: A principled, light-weight OS mechanism for managing time
EuroSys Conference, Porto, Portugal, April, 2018

NICTA 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

Served by Apache on Linux on seL4.