People at the Centre for Formal Methods and Future Computing (FORM)
People at the FORM Centre
Centre Director:
Investigators:
Scientific Advisory Board:
- 
                                Claes de Vreese
Professor, University of Amsterdam, and Director, SDU Digital Democracy Centre
Fellow of the Royal Dutch Academy of Sciences, Fellow of the ICA, Carlsberg Foundation Research Prizechv@sam.sdu.dk
Areas: Communication Science, Digital Democracy, Interdisciplinary Research - 
                                Clark Barrett
Professor, Stanford University, Director, Stanford Center for Automated Reasoning, and Co-Director, Stanford Center for AI Safety
ACM Fellow - 
                                Faith Ellen
Professor, University of Toronto
ACM Fellowfaith@cs.toronto.edu
Areas: Distributed Computing and Data Structures - 
                                Mira Mezini
Professor, TU Darmstadt
ACM Fellow, Dahl-Nygaard Prizemezini@informatik.tu-darmstadt.de
Areas: Distributed Systems, Software Technology - 
                                Benjamin Guedj
Research Director, INRIA, and Professor, University College London
Fellow of the Royal Statistical Society, Franco-British Council Young Leaderbenjamin.guedj@inria.fr
Areas: Machine Learning and Foundational Artificial Intelligence - 
                                Chris Heunen
Professor, University of Edinburgh
Birkhoff-von Neumann Prize, EPSRC Early Career Fellow - 
                                Leonardo de Moura
Senior Principal Applied Scientist, Amazon, and Chief Architect, Lean FRO
ACM SIGPLAN Programming Languages Software Awardleodemoura0@gmail.com
Areas: Automated Reasoning, Theorem Proving - 
                                Nobuko Yoshida
Professor, University of Oxford
EPSRC Established Career Fellow, Fellow of the British Computer Society - 
                                Swarat Chaudhuri
Professor, UT Austin, and Research Scientist, Google DeepMind
Guggenheim Fellowmeganb@cs.utexas.edu
Areas: Machine Learning, Reliable Software, Security