• 369
    Citaties
20072024

Onderzoeksresultaten per jaar

Persoonlijk profiel

Quote

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.

Vingerafdruk

Verdiep u in de onderzoeksgebieden waarop Jeroen J.A. Keiren actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
  • 1 Soortgelijke profielen

Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar

Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of