Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 PLDI
Wed 23 Jun 2021 23:00 - 23:30 at PLDI-A - Ask Me Anything Chair(s): Steve Blackburn, Gerwin Klein

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.

Wed 23 Jun

Displayed time zone: Eastern Time (US & Canada) change

22:30 - 23:30
Ask Me AnythingAsk Me Anything at PLDI-A
Chair(s): Steve Blackburn Australian National University, Gerwin Klein CSIRO's Data61 and UNSW Sydney
Live Q&A
Ask Me Anything with Cristina Cifuentes
Ask Me Anything
Cristina Cifuentes Oracle Labs
Live Q&A
Ask Me Anything with June Andronick
Ask Me Anything
June Andronick Proofcraft, UNSW and seL4 Foundation