Olav Bunte

Olav Bunte is a University Lecturer in the Department of Formal System Analysis at Eindhoven University of Technology. His research focuses on formal verification, model checking, and domain-specific languages with applications to industrial control software and concurrent systems.

• Institution: Eindhoven University of Technology
• Department: Formal System Analysis
• Academic Rank: Lecturer

His work explores communication models, deadlock freedom, and software product line engineering through rigorous formal methods. Recent publications analyze industrial DSLs (OIL) and verification techniques for control software components.

Research trends show emphasis on applying formal verification to practical software engineering challenges, particularly through domain-specific language tools like Spoofax and model-checking frameworks like mCRL2. Key areas include simulation relations, reachability analysis, and property preservation across system transformations.

He teaches courses in distributed systems architecture, computer systems, operating systems, cyber-physical systems evaluation, and software specification.