• 335
    Citations - based on content available in repository [source: Scopus]

Content available in repository

If you made any changes in Pure these will be visible here soon.

Personal profile


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

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.

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.


Dive into the research topics where Jeroen J.A. Keiren is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or