Mathematical Institute, LT3


The FLoC Industry session will consider the intersection of problems that are relevant to academia and industry. What are the skills that graduates need to be successful in industry? It will cover the business perspective on formal methods and program analysis, i.e., how much value are we really objectively generating and how can we improve that?

How to register

Go through the main FLoC registration system, and choose a Workshop Day Pass for 14 July.  Purchasing a Workshop Day Pass will give you access to all workshops taking place on that day.  The price per Day Pass is £85 – see further details on the FLoC registration page.

Confirmed Speakers

  • Chair
  • Orna Grumberg (TECHNION)
  • More
    Leumi Chair of Science, TECHNION – Israel Institute of Technology, ACM Fellow and member of the Academia Europaea.

  • Amazon’s Automated Reasoning Group: Combining Amazon’s 14 foundational principles with the Strachey philosophy
  • Byron Cook (AWS)
  • More
    Director, Automated Reasoning, Amazon Web Services and Professor of Computer Science, University College London. Prior to joining Amazon, Byron was known for his contributions to the Terminator/T2 termination prover,  BioModelAnalyzer, SLAM, and Microsoft’s Static Driver Verifier.  His current interests include computer/network security, program analysis/verification, programming languages, theorem proving, logic, hardware design, operating systems, and biological systems.  At Amazon Byron leads a research group focused on formal/constraint-based tools for reasoning about cloud-computing security.  Cook is also giving a Plenary Lecture at FLoC on 16 July.
  • Formal Reasoning and the Hacker Way
  • Peter O’Hearn (Facebook)
  • More
    Professor of Computer Science at University College London and a Research scientist at Facebook, where he works on the science and engineering of reasoning about programs. Peter has done research in the broad areas of programming languages and logic for over 25 years, having held academic positions at Syracuse University, Queen Mary University of London, and University College London (he continues to hold a part-time professorial position at UCL). With John Reynolds he developed separation logic, a theory which opened up new practical possibilities for program proof. In 2009 Peter cofounded a formal reasoning startup, Monoidics Ltd, which was acquired by Facebook in 2013. The Infer program analyzer developed by Peter’s team runs internally on Facebook’s code bases, resulting in thousands of bugs being fixed before they reach production each month. Infer is also used in production at number of other companies, such as Amazon, Mozilla, Spotify and Peter is a Fellow of the UK Royal Academy of Engineering and has received a number of awards for his work, including the 2016 CAV Award and the 2016 Gödel Prize. O’Hearn is also giving a Plenary Lecture at FLoC on 9 July.
  • Business Perspective on Software Analysis
  • Domagoj Babic (Google)
  • More
    Tech lead and Manager of the Software Analysis Team at Google, Inc. Domagoj has done research in automated software analysis, testing, security, machine learning, automated reasoning, and grammatical inference.  Prior to joining Google, Domagoj was a research scientist elsewhere in industry and at UC Berkeley.  In the mobile space, one of Domagoj’s teams has developed DeepDive, a static analyzer protecting the Play store and the Android ecosystem.  For instance, over 380,000 different apps have been fixed for various critical vulnerabilities found by DeepDive (Android Security Report here).  Its other applications include malware and abuse detection, guiding automated testing, and a few others.  His other teams are focusing on the Google infrastructure and cloud ecosystems.  Besides security, Domagoj’s teams aim to improve reliability, performance, and developer’s productivity through automated software analysis.



The Formal Methods in Industry event will take place in one of the main FLoC venues in the centre of Oxford – look out for updates in the coming weeks.

You can also click on the “show menu” symbol (◧) below to view locations for social events, accommodation and other points of interest.