Enno Ruijters

I obtained my PhD in May 2018 in the Formal Methods and Tools group of the Faculty of Electrical Engineering, Mathematics, and Computer Science at the University of Twente, where I am currently working as a postdoctoral researcher. My PhD was in the ArRangeer project to improve maintenance engineering using stochastic model checking, focused on railroad maintenance.

I am current working on the StepUp project, aiming to improve software testing by using logs of past users to focus testing on those aspects of the software that are actually used in practice.

Before my PhD, I studied the master Operations Research at the Department of Knowledge Engineering of the Maastricht University. For my master thesis I extended the Markov Reward Model Checker tool to use Interval Arithmetic, to produce the Interval Markov Reward Model Checker tool.