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