People at the FORM Centre

Centre Director:

• Fabrizio Montesi

  Professor, DIAS Chair

  fmontesi@imada.sdu.dk
  +45 6550 7171

Administrative Staff:

• Anne Katrine Birch Ømand

  Centre Coordinator

  birch@imada.sdu.dk
  +45 6550 8284

Investigators:

• Casper Bach

  Assistant Professor (tenure track)

  casperbach@imada.sdu.dk
  +45 6550 7259

• Jacopo Mauro

  Professor

  mauro@imada.sdu.dk
  +45 6550 2572

• Marco Peressotti

  Associate Professor

  peressotti@sdu.dk
  +45 6550 9026

• Robin Kaarsgaard Sales

  Associate Professor

  kaarsgaard@imada.sdu.dk
  +45 6550 3568

• Stelios Tsampas

  Assistant Professor (tenure track)

  stelios@imada.sdu.dk
  +45 6550 3955

• Valentina Lenarduzzi

  Professor

  lenarduzzi@imada.sdu.dk
  +45 6550 2549

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

• Mira Mezini

  Professor, TU Darmstadt
  ACM Fellow, Dahl-Nygaard Prize

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

• 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

• 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