Profile

Since September 2010, I am an associate professor (universitair hoofdddocent) in the Formal Methods and Tools group of the faculty of Electrical Engineering, Mathematics and Computer Science at the University of Twente.

Research Interests

Timed Automata theory and applications, like biological networks, hybrid systems, and medical treatment protocols.