He received his MSc in Electrical Engineering and his PhD in Computer Science from TU/e in 2000 and 2004 respectively. After developing a process algebra for hybrid systems (HyPA), his current research interests include the application of quantitative formal methods to cyber physical systems, with a focus on performance analysis and scheduling of distributed embedded systems. Important techniques that play a role in this are: