Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 PLDI
June Andronick

Registered user since Mon 20 Jun 2016

Name:June Andronick

June Andronick is a Principal Researcher at CSIRO’s Data61 (formerly NICTA) and conjoint Associate Professor at UNSW. She leads the Trustworthy Systems group, well known for the formal verification of the seL4 microkernel. 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. Her current focus is on concurrency reasoning for OS code. She was recognised in 2011 by MIT’s Technology Review as one of the world’s top young innovators (TR35). She holds a PhD in Computer Science from the University of Paris-Sud, France.

Affiliation:Proofcraft, UNSW and seL4 Foundation
Research interests:Formal Methods, Theorem proving


PLDI 2021 Ask Me Anything with June Andronick
Show activities from other conferences

PLDI 2021-profile
View general profile