Logo

Header

Header

June Andronick

seL4 Foundation and UNSW, Sydney

seL4, from a Dream to a World Shift towards Verified Software

Our formally verified microkernel, seL4, started as a dream deemed impossible: an entire operating system kernel formally verified for functional correctness. More than 15 years later, the proof is still active, maintained and extended, and the kernel is used across the world in an increasing number of applications. The successes and challenges of this journey are technical, strategical and social, and they are not over: the road towards a world's shift to verified software for all critical systems has seen significant progress but still has some way to go.

Photo
June Andronick is part of the Trustworthy Systems group, world-leading in verified operating systems software, known worldwide for the formal verification of the seL4 microkernel.  She is a Chief Research Scientist at CSIRO's Data61, and conjoint Professor at UNSW Sydney, Australia. She is a part of the seL4 Foundation's Board, as well as Technical Steering Committee. She was recognised in 2011 by MIT's Technology Review as one of the world's top young innovators (TR35). She previously worked in industry for the smart-card manufacturer Gemalto in Formal Methods research.
 
Homepage: https://ts.data61.csiro.au/people/index.html%3fcn=June+Andronick