Enno Ruijters
I started my PhD research in February 2014 in the Formal Methods and Tools group of the Faculty of Electrical Engineering, Mathematics, and Computer Science at the University of Twente. I am working on the ArRangeer project to improve maintenance engineering using stochastic model checking, focused on railroad maintenance.

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.