POPL 2017
Sun 15 - Sat 21 January 2017
June Andronick

Registered user since Mon 20 Jun 2016

Name: June Andronick

Bio: June Andronick is a Senior Researcher at Data61|CSIRO (formerly NICTA) and conjoint Senior Lecturer 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 contributed to the seL4 correctness proof and now focuses on concurrency reasoning for OS code. She leads the concurrency software verification research in Data61, and is deputy leader of the Trustworthy Systems group. 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: Data61,CSIRO (formerly NICTA) and UNSW

Personal website: http://ssrg.nicta.com.au/people/?cn=June+Andronick

Research interests: Formal Methods, Theorem proving


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
Show activities from other conferences

POPL 2017-profile
View general profile