June Andronick
Senior Researcher; Conjoint Senior Lecturer, UNSW
Contact Details
| Phone: | +61 (02) 8306 0581 |
|---|---|
| Email: | June.Andronick@nicta.com.au |
More contact information is available at the SSRG Contact page.
Research Interests
June's main research interest is in formal verification and certification of software systems, and more precisely in formal proof of correctness and security properties of programs using interactive theorem proving.
Projects
Current |
Past |
June is part of the formal verification team of NICTA's Software Systems Research Group (SSRG). She was previously involved in the L4.verified project, contributing to the proof of the functional correctness of the seL4 kernel. She's now part of the Trustworthy Systems project, focusing on building a framework to formally prove security properties for systems over a million lines of code.
Career Summary
Prior to joining NICTA, June worked more than 6 years in the Formal Methods team of Gemalto, the worldwide leading smart card manufacturer. First as a Master intern, then as a PhD student within the company, and finally as a research engineer, June worked on formal verification and certification of smart card embedded programs.
Qualifications
June holds a PhD in Computer Science of the University of Paris-Sud, France, that she defended in March 2006.
Affiliations
June is Conjoint Lecturer at the School of Computer Science and Engineering of UNSW.
Recognition and Awards
- 2011: MIT TR35, Top 35 young innovators in 2011.
- 2011 (with L4.verified team): MIT TR10, Top 10 emerging technologies in 2011.
- 2011 (with L4.verified team): Finalist for Australian Museum Eureka Prize in Computer Science.
- 2009 (with L4.verfied team): SOSP'09 Best Paper Award.
Publications
- Google Scholar profile
- Best Papers
- NICTA Papers (2013, 2012, 2011, 2010, 2009)
- Non-NICTA Papers (2008, 2006, 2005, 2003)
Best Papers
NICTA Papers
2013
|
 |
Mark Staples, Rafal Kolanski, Gerwin Klein, Corey Lewis, June Andronick, Toby Murray, Ross Jeffery and Len Bass Formal specifications better than function points for code sizing International Conference on Software Engineering, pp. 1257-1260, San Francisco/USA, May, 2013 |
2012
|
|
|
June Andronick, Andrew Boyton and Gerwin Klein Final report for AOARD grant \#FA2386-11-1-4070, formal system verification - extension Technical Report, NICTA, October, 2012 |
|
|
 |
June Andronick, Gerwin Klein and Toby Murray Formal system verification for trustworthy embedded systems, final report for AOARD grant \#FA2386-10-1-4105 Technical Report, NICTA, October, 2012 |
|
|
|
June Andronick and Gerwin Klein Formal system verification - extension 2, final report AOARD \#FA2386-12-1-4022 Technical Report, NICTA, August, 2012 |
|
|
|
David Greenaway, June Andronick and Gerwin Klein Bridging the gap: Automatic verified abstraction of C 3rd International Conference on Interactive Theorem Proving, pp. 99-115, Princeton, New Jersey, August, 2012 The final publication is available at www.springerlink.com |
|
|
|
June Andronick, Ross Jeffery, Gerwin Klein, Rafal Kolanski, Mark Staples, Jason Zhang and Liming Zhu Large-scale formal verification in practice: A process perspective International Conference on Software Engineering, pp. 1002-1011, Zurich/Switzerland, June, 2012 |
|
|
|
Jason Zhang, Gerwin Klein, Mark Staples, June Andronick, Liming Zhu and Rafal Kolanski Simulation modeling of a large scale formal verification process International Conference on Software and Systems Process, pp. 3-12, Zurich/Switzerland, June, 2012 |
|
|
|
June Andronick, Gerwin Klein and Andrew Boyton Formal system verification - extension, AOARD 114070 Technical Report, NICTA, May, 2012 |
2011
|
|
|
June Andronick, Gerwin Klein and Toby Murray Formal system verification for trustworthy embedded systems, final report option 1 – AOARD 104105 Technical Report, NICTA, November, 2011 |
|
|
|
Thomas Sewell, Simon Winwood, Peter Gammie, Toby Murray, June Andronick and Gerwin Klein seL4 enforces integrity 2nd International Conference on Interactive Theorem Proving, pp. 325–340, Nijmegen, The Netherlands, August, 2011 |
|
|
|
June Andronick and Gerwin Klein Formal system verification for trustworthy embedded systems, final report AOARD 094160 Technical Report, NICTA, April, 2011 |