Leumi Chair of Science, TECHNION – Israel Institute of Technology, ACM Fellow and member of the Academia Europaea.

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.

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 JD.com. 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.

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.