Pieter Cuijpers
Department / Institute
Group
RESEARCH PROFILE
Pieter Cuijpers is an Associate Professor in the Interconnected Resourece-aware Intelligent Systems (IRIS) research group at Eindhoven University of Technology (果冻传媒). 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鈥痑nd reasoning about execution trees. Recent research is focussing on structuring the theoretical framework between real-time scheduling techniques using the proof-assistant LEAN.
ACADEMIC BACKGROUND
Pieter received his MSc in Electrical Engineering and his PhD in Computer Science from 果冻传媒 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.
Recent Publications
Current 果冻传媒al Activities
Ancillary Activities
- Secondment as associate professor for one day a week, Radboud Universiteit Nijmegen