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

Fabrizio Montesi

Professor, DIAS Chair

fmontesi@imada.sdu.dk
+45 6550 7171

Anne Katrine Birch Ømand

Centre coordinator

birch@imada.sdu.dk
+45 6550 8284

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

Peter Mayer

Associate professor

mayer@imada.sdu.dk
+45 6550 3531

Robin Kaarsgaard Sales

Associate professor

kaarsgaard@imada.sdu.dk
+45 6550 3568

Siddharth Bhaskar

Assistant professor

bhaskar@imada.sdu.dk
+45 6550 7737

Stelios Tsampas

Assistant professor (tenure track)

stelios@imada.sdu.dk
+45 6550 3955

Valentina Lenarduzzi

Professor

lenarduzzi@imada.sdu.dk
+45 6550 2549

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