Skip to main content

University of Southern Denmark

DA / EN

University of Southern Denmark, SDU

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

FORM brings together research groups with diverse expertise in computing and formal methods, led by proven investigators.

People at the FORM Centre

Centre Director:

Fabrizio Montesi
Professor, DIAS Chair

fmontesi@imada.sdu.dk
+45 6550 7171

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