Jeroen Keiren

I 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.
More info here.

Self Paced

Free Course

Canvas Network

Halmstad University

Categories

CS: Systems, Security & Networking

Effort

Self-Paced

Self-Study

Languages

English

Anyone who has ever designed an embedded system or a communication protocol involving several components executing simultaneously knows that such software is inherently susceptible to bugs. Typical problems include race conditions, deadlocks, and unexpected interplay between different components. The parallel nature of these systems makes it notoriously hard to [...]

System Validation

Embedded Systems

View more details