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, a.o. modelling biological networks (in collaboration with a.o. Stefano Schivo).