Content available in repository
Content available in repository
dr.ir.
Content available in repository
Learning is not an efficient process
Olav Bunte is a university teacher at the Interconnected Resource-Aware Intelligent Systems (IRIS) cluster in the Mathematics and Computer Science Department at the Eindhoven University of Technology (TU/e). While education is currently his main concern, his research interests lie in the formalisation of behaviour and the subsequent proving of properties over this behaviour, as illustrated by the work during his PhD.
As a teacher, Olav is mainly interested in two things:
The latter is exemplified in Olav's appointment as track lead for the Systems and Artificial Intelligence Master track as part of the Computer Science and Engineering Master program since 2026.
Olav completed his Bachelor, Master and PhD in Computer Science in 2015, 2017 and 2024 respectively at the Eindhoven University of Technology. His PhD was done under the VOICE-B project in collaboration with Canon Production Printing, as part of the Formal System Analysis (FSA) cluster. Since 2023, Olav has been working at IRIS as a university teacher, where he is involved in the teaching, design, organisation and assessment of many courses.
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)
Research output: Contribution to journal › Article › Academic › peer-review
Research output: Contribution to journal › Article › Academic › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Wesselink, J. W. (Creator), Groote, J. F. (Creator), Laveaux, M. (Creator), Keiren, J. J. A. (Creator), Neele, T. (Creator), Bunte, O. (Creator), Jansen, D. N. (Creator), Johannes Altmanninger (Creator), Booy, J. J. (Creator), de Vink, E. P. (Creator), Ferry Timmers (Creator), Thom Castermans (Creator), Willemse, T. A. C. (Creator), Wijs, A. J. (Creator), Jilissen, K. H. J. (Creator), Willem Rietdijk (Creator), van Ieperen, N. G. (Creator), Volk, M. (Creator), Spronck, M. S. C. (Creator), Luttik, S. P. (Creator), Casper Bach (Creator), Paul van Tilburg (Creator) & Rey, T. (Creator), Zenodo, 1 Aug 2025
Dataset: Software
Bunte, O. (Contributor), Groote, J. F. (Contributor), Keiren, J. J. A. (Contributor), Laveaux, M. (Contributor), Neele, T. (Contributor), de Vink, E. P. (Contributor), Wesselink, W. (Contributor), Wijs, A. (Contributor) & Willemse, T. A. C. (Contributor), Zenodo, 2 Sept 2018
DOI: 10.5281/zenodo.2555055, https://zenodo.org/record/2555055
Dataset
| Cuijpers, P. J. L. & Bunte, O. 1/09/15 → 31/08/27 |
Course
| Mostafaei, H., Holenderski, M. J. & Bunte, O. 1/09/15 → 31/08/27 |
Course
| Watkins, A., Bunte, O., Groote, J. F., Betancourt Arias, J. S., Erkens, R. & Costa Martins, E. J. 1/09/09 → 31/08/27 |
Course
| Volk, M., Keiren, J. J. A., Bunte, O., Laveaux, M., Liem, E., Erkens, R., van de Glind, K. & Miulescu, M. 1/09/15 → 31/08/27 |
Course
Student thesis: Master