Videos from the World Congress on Formal Methods 2019

The 3rd World Congress in Formal Methods was held in Porto, Portugal, 7-11 October 2019 and included 9 conferences, 16 workshops, an Industry Day, a Doctoral Symposium, and two festschrift events. In a series of videos, we will present some highlights from the world congress. We here bring you a keynote from the 23rd International Symposium on Formal Mehtods (FM 2019), given by June Andronick.

Did you ever wonder what June talked about at FM2019?

*Principal Researcher June Andronick gave an FM2019 keynote on
"Successes in Deployed Verified Software (and Insights on Key Social Factors)"*

Abstract. In this talk, we will share our experience in the successful deployment of verified software in a wide range of application domains, and, importantly, our insights on the key factors enabling such successful deployment, in particular the importance of the social aspects of a group working effectively together.

Our formally verified microkernel, seL4, is now used across the world in a number of applications that keeps growing. Our experience is that such an uptake is enabled not only by a technical strategy, but also by a tight integration of people from multiple disciplines and with both research and engineering profiles. This requires a strong social culture, with well designed processes, for working as one unified team. We share our observations on what concrete social structures have been key for us in creating real-world impact from research breakthroughs.

Short biography. June Andronick leads the Trustworthy Systems group, world-leading in verified operating systems software, known worldwide for the formal verification of the seL4 microkernel. She is a Principal Research Scientist at Data61|CSIRO, and conjoint Associate Professor at UNSW Sydney, Australia. She was recognised in 2011 by MIT’s Technology Review as one of the world’s top young innovators (TR35). She previously worked in industry for the smart-card manufacturer Gemalto in Formal Methods research.

Author: Einar Broch Johnsen