My picture

Marieke Huisman

Who am I?

Associate Professor in the FMT (Formal Methods and Tools) Group at the University of Twente working on reliability and correctness of concurrent software.
Programme mentor for Master specialisation MTV and the graduate school program DeSC.

What is my research about?

What do I teach?