Jeroen Keiren
Assistant Professor at Eindhoven University of Technology
Eindhoven, North Brabant, Netherlands
Summary
👤
Senior🎓
Top SchoolJeroen Keiren is an Assistant Professor at Eindhoven University of Technology with 19 years of experience advancing the reliability and safety of software and hardware through formal verification and model checking. He specializes in verification of industrial control, timed and hybrid systems, and scalable techniques for parity games and Boolean equation systems, often bridging theory with industrial applications such as CERN and medical-device focused collaborations. His work builds on long-term involvement with the mCRL2 toolset and a track record of practical tool development in C++ during his PhD, showing a blend of deep theory and hands-on engineering. Jeroen routinely teaches and supervises across bachelor and master programs, shaping the next generation of engineers in embedded systems and formal methods. He has international academic experience from visiting positions in the US and the Netherlands, reflecting a collaborative, applied research profile. Notably, he combines rigorous automata- and game-theoretic foundations with pragmatic verification tooling used in real-world control-system contexts.
20 years of coding experience
12 years of employment as a software developer
(T)VWO, IB, Profiel: Natuur & Techniek, (T)VWO, IB, Profiel: Natuur & Techniek at College Den HulsterDoctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at Eindhoven University of Technology
English, Dutch, German, French
Github Skills (24)
git10
model-checking10
petri-net10
libreoffice9
docx9
pdf9
promela9
pandoc9
automata9
macos8
html8
outliner8
linux8
windows8
nodejs8
Programming languages (5)
Github contributions (5)
jkeiren/TimeSolver
Jun 2016 - Sep 2019
On-the-fly model checker for timed automata with support for the alternation-free modal mu-calculus.
Contributions:498 commits, 2 pushes, 1 branch in 3 years 3 months
automata
tue-mdse/pgconvert
Feb 2015 - Jul 2017
Contributions:2 releases, 2 PRs, 7 pushes in 2 years 5 months
paritygames
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.