June Andronick

Registered user since Mon 20 Jun 2016

Name: June Andronick

Bio: 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.

Country: Australia

Affiliation: CSIRO’s Data61 and UNSW

Personal website: https://ts.data61.csiro.au/people/?cn=June+Andronick

Research interests: Formal Methods, Theorem proving


CPP 2021Steering Committee Member in Steering Committee within the CPP 2021-track
PLDI 2020Committee Member in External Program Committee within the PLDI Research Papers-track
PLDI 2019Committee Member in Program Committee within the PLDI Research Papers-track
POPL 2019Committee Member in Program Committee within the Research Papers-track
CPP 2018Program Co-Chair in Program Committee within the CPP 2018-track
Session Chair of Invited Talk by René Thiemann (part of CPP 2018)
CPP 2017Author of COMPLX: a verification framework for concurrent imperative programs within the CPP-track
POPL 2017ERC member in External Review Committee within the POPL-track