Koen Claessen

Koen Claessen is a Professor at Chalmers University of Technology and a Senior Researcher at Jasper Design Automation, holding positions since 2004. Prior roles include Senior Researcher at Safelogic AB from 2001 to 2003 and Assistant Professor at Chalmers University of Technology during the same period. Koen Claessen earned a PhD in Computing Science from Chalmers University of Technology between 1998 and 2001, and a drs. in Computing Science from Utrecht University from 1994 to 1997.