About Me
As an assistant professor in the Formal Methods and Tools group at the University of Twente I focus on computer science education and research. My expertise lies in the application and theory of in model-based testing for software reliability in critical infrastructures, while my research spans a range of topics, including language version identification and game design.
Teaching is a significant part of my work, and I enjoy delivering courses on programming and artificial intelligence to a diverse group of students. I also enjoy mentoring the many talented PhD, MSc, and BSc students, by guiding them through challenging projects and by coaching them as academic scholars and professionals.
UT Homepage: https://mgerhold.personalweb.utwente.nl/
Expertise
Organisations
Publications
UT Research Information System
Courses Academic Year 2023/2024
Courses Academic Year 2022/2023
Contact Details
Visiting Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(building no. 11), room 3070
Hallenweg 19
7522NH Enschede
The Netherlands
Mailing Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
3070
P.O. Box 217
7500 AE Enschede
The Netherlands