June Andronick

June Andronick is a conjoint Associate Professor at the University of New South Wales and CEO/co-founder of Proofcraft, a company specializing in formal verification of software systems. She also serves as CEO of the seL4 Foundation and was previously a Principal Researcher at CSIRO's Data61 (formerly NICTA).

Her research focuses on increasing the reliability of critical software systems through mathematical proofs that ensure code behaves as expected and meets security and safety requirements. She previously led the Trustworthy Systems group, renowned for the formal verification of the seL4 microkernel, and her current research emphasizes concurrency reasoning for operating system code.

Dr. Andronick's work bridges theoretical formal methods with practical software systems, with significant contributions to operating systems verification. Her publication 'COMPLX: a verification framework for concurrent imperative programs' (CPP 2017) demonstrates her focus on practical verification frameworks for complex software systems.

• MIT's Technology Review TR35 award (2011) - recognition as one of the world's top young innovators

She has served on program committees for major computer science conferences including PLDI (External Program Committee 2020, Program Committee 2019) and POPL, demonstrating her leadership in the programming languages research community. Through Proofcraft, she provides commercial support, training, and consulting to help organizations implement formal verification in their software development processes.