June Andronick

Registered user since Mon 20 Jun 2016

Name:June Andronick
Bio:

June Andronick is CEO and co-founder of Proofcraft, providing commercial support, training, consulting, and contracted proof projects around software verification in general and the seL4 microkernel verification in particular. She is also CEO of the seL4 Foundation, and conjoint Associate Professor at UNSW. 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. She previously led the Trustworthy Systems group, world-leading in the area of verified operating systems software, known worldwide for the formal verification of the seL4 microkernel. 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:Proofcraft, UNSW and seL4 Foundation
Research interests:Formal Methods, Theorem proving

Contributions

CPP 2022 Invited Speaker of The seL4 verification: the art and craft of proof and the reality of commercial support within the CPP 2022-track
PLDI 2021 Speaker of Ask Me Anything with June Andronick within the Ask Me Anything-track
CPP 2021 Committee Member in Program Committee within the CPP 2021-track
Steering Committee Member in Steering Committee within the CPP 2021-track
PLDI 2020 Committee Member in External Program Committee within the PLDI Research Papers-track
PLDI 2019 Committee Member in Program Committee within the PLDI Research Papers-track
POPL 2019 Committee Member in Program Committee within the Research Papers-track
CPP 2018 Program Co-Chair in Program Committee within the CPP 2018-track
Session Chair of Invited Talk by René Thiemann (part of CPP 2018)
CPP 2017 Author of COMPLX: a verification framework for concurrent imperative programs within the CPP-track
POPL 2017 ERC member in External Review Committee within the POPL-track