Jeroen KeirenI am dr.ir. Jeroen Keiren. I am assistant professor (universitair docent) in computer science at the faculty of Management, Science & Technology at the Open University. I work at location Nijmegen, as a visiting researcher in the Digital Security group at the premises of the Radboud University. My research interests are formal methods and software engineering. In general I am interested in techniques that help us develop better and safer software.

Previously, I was a post doctoral researcher in the theoretical computer science group at the VU University Amsterdam and visiting lecturer of System Validation at TU Delft. I obtained my PhD in the Formal System Analysis group at Eindhoven University of Technology on a dissertation titled Advanced Reduction Techniques for Model Checking.

I like teaching others about software engineering and software verification techniques. Currently I am involved in teaching courses on operating systems, communication technology, formal languages & automata, functional programming and the fundamentals of computer systems. I have also been teaching system validation at TU Delft, and automata theory and complexity at the VU.

In my free time I like ballroom dancing, in which I participate in national and international competitions.