My picture

Marieke Huisman


Who am I?

Adjoint 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?