Pieter Cuijpers is an Associate Professor in the Interconnected Resourece-aware Intelligent Systems (IRIS) research group at Eindhoven University of Technology (TU/e). After developing a process algebra for hybrid systems (HyPA), his research has focussed on the quantitative formal modelling of cyber physical systems, with a focus on performance analysis (timing and resource usage) and scheduling of distributed embedded systems (e.g. Ethernet TSN).

Important tools techniques that play a role in this are: max-plus algebra, order theory, event-based modeling and simulation and axiomatic and reasoning about execution trees. Recent research is focussing on structuring the theoretical framework between real-time scheduling techniques using the proof-assistant LEAN.

Pieter received his MSc in Electrical Engineering and his PhD in Computer Science from TU/e in 2000 and 2004 respectively. He teaches the masters course on Quantitative Evaluation of Embedded Systems (2IMN25) and coordinates the capstone bachelors course on System Integration. 

As an educator, Pieter pioneers with upcoming media for teaching, such as web lectures and MOOCS, and looks for ways to help students attain the mindset of an academic engineer, for example through challenge based learning (CBL). He is an advocate of harnessing the strengths of students-as-teachers, and is working with professionals in didactics to improve the possibilities for student assistants can develop themselves.