Rom Langerak
University of Twente
P.O. Box 217
7500 AE Enschede
The Netherlands

Phone: +31 53 489 3714
Fax: +31 53 489 3247
Email: r.langerak [at]
Office: Zilverling 3098


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 (in collaboration with a.o. Stefano Schivo), hybrid systems, and medical treatment protocols.