Assistant Professor

Jeroen Keiren

Contact
j.j.a.keiren@tue.nl MetaForum 6.089
Department / Institute
Mathematics and Computer Science
Group
Formal System Analysis

RESEARCH PROFILE

Jeroen Keiren is an assistant professor in the Formal System Analysis group at the Eindhoven University of Technology (TU/e). His research interests lie in the development of formal methods for the design and application of correct and reliable software and hardware systems. A common theme throughout much of his research is reducing the structures generated in model checking, for example using bisimulation methods. Specific areas of expertise include explicit state model checking, parity games and timed systems.

We should expect safety critical software to verifiably meet its requirements.

ACADEMIC BACKGROUND

Jeroen Keiren obtained his Master's degree (with honors) in Computer Science at TU/e in 2009. He obtained his PhD in Formal System Analysis in 2013 at the same university. His thesis was titled Advanced Reduction Techniques for Model Checking. Afterwards, Jeroen became a postdoc at the Vrije Universiteit, Amsterdam (2013-2015) and Assistant Professor at the Open Universiteit (2015-2019) and University of Maryland (2016). During this time, he was also a visiting researcher in the Digital Security group at Radboud University, Nijmegen (2015-2019) and visiting lecturer/assistant professor (1 day/week) in the Embedded Software group at TU Delft. At the beginning of 2019, he returned to the TU/e as an assistant professor in the Formal System Analysis Group.

Key Publications

Current Educational Activities

Ancillary Activities

No ancillary activities