Prof. June Andronick
Adjunct Professor (UNSW)
June Andronick is a co-inventor of the seL4 microkernel and CEO of the seL4 Foundation. She is also the CEO and co-founder of Proofcraft, providing commercial support, training, consulting, and contracted proof projects around software verification in general and seL4 verification in particular. Her research focuses on increasing the reliability of critical software systems, by mathematically proving that the code behaves as expected and satisfies security and safety requirements.