Koen Claessen

Professor in Computer Science
Chalmers University of Technology
Gothenburg, Sweden

+46-31-7725424
koen•chalmers·se

Teaching

introduction to functional programming

Research

automated reasoning
functional programming
software testing
model checking
SAT-based algorithms

pubs | code
Current

FMCAD 2014
IJCAR 2014
CAV 2014

Students

Michal Palka
Ann Lillieström
Dan Rosén
Anton Ekblad
Inari Listenmaa
Nikita Frolov (*)
John Camilleri (*)

(*) co-supervising