About Jeroen Keiren

Assistant professor Formal System Analysis at Eindhoven University of Technology, The Netherlands. Into formal methods, in particular model checking, and their application to industry critical systems.

Lists

Timeline

{username} has no activity yet