People at the Centre for Formal Methods and Future Computing (FORM)

Scientific Advisory Board

• Benjamin Guedj

  Research Director, INRIA, and Professor, University College London
  Fellow of the Royal Statistical Society, Franco-British Council Young Leader

  benjamin.guedj@inria.fr
  Areas: Machine Learning and Foundational Artificial Intelligence

• Chris Heunen

  Professor, University of Edinburgh
  Birkhoff-von Neumann Prize, EPSRC Early Career Fellow

  chris.heunen@ed.ac.uk
  Area: Quantum Programming

• 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 Prize

  chv@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

  barrettc@stanford.edu
  Area: Automated Reasoning

• Faith Ellen

  Professor, University of Toronto
  ACM Fellow

  faith@cs.toronto.edu
  Areas: Distributed Computing and Data Structures

• Leonardo de Moura

  Senior Principal Applied Scientist, Amazon, and Chief Architect, Lean FRO
  ACM SIGPLAN Programming Languages Software Award

  leodemoura0@gmail.com
  Areas: Automated Reasoning, Theorem Proving

• Mira Mezini

  Professor, TU Darmstadt
  ACM Fellow, Dahl-Nygaard Prize

  mezini@informatik.tu-darmstadt.de
  Areas: Distributed Systems, Software Technology

• Nobuko Yoshida

  Professor, University of Oxford
  EPSRC Established Career Fellow, Fellow of the British Computer Society

  
  Areas: Concurrency Theory, Session Types

• Swarat Chaudhuri

  Professor, UT Austin, and Research Scientist, Google DeepMind
  Guggenheim Fellow

  meganb@cs.utexas.edu
  Areas: Machine Learning, Reliable Software, Security