Boudewijn R.H.M. Haverkort

Professor Boudewijn R.H.M. Haverkort is affiliated with the University of Twente's Digital Society Institute and Faculty of Electrical Engineering, Mathematics, and Computer Science. His research focuses on formal methods, performance evaluation, and thermal management in computing systems. He has contributed to advancing model checking techniques, data center workload modeling, and temperature-aware scheduling algorithms. His work intersects computer science, embedded systems, and cyber-physical systems.

Research interests include:
- Model Checking and Formal Verification
- Performance Evaluation of Distributed Systems
- Thermal Management in Real-Time Systems
- Machine Learning Applications for System Workload Analysis

Notable contributions include developing statistical model checking frameworks and temperature prediction methods recognized by the Harvey Rosten Award in 2020. He has supervised 27 research projects, though student names are not listed here. His collaborations span thermal investigations in ICs, cyber-physical system design, and digital communication systems in conflict resolution contexts.

Labs/Teams: Active in the Digital Society Institute and MESA+ Institute, collaborating with TechMed Centre on interdisciplinary projects.