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
Computer Science
- model based testing
- Testing
- Soundness
- Algorithms
- Automaton
- Models
- Transitions
- Usage Statistic
Organisations
Publications
Research profiles
Courses academic year 2023/2024
Courses in the current academic year are added at the moment they are finalised in the Osiris system. Therefore it is possible that the list is not yet complete for the whole academic year.
- 192199508 - Research Topics CS
- 192199968 - Internship CS
- 192199978 - Final Project CS
- 201300086 - Research Topics 2 CS
- 201400171 - Capita Selecta Software Technology
- 201500039 - Security Verification
- 201600017 - Final Project Preparation
- 201600362 - S6: Capstone project
- 201800496 - S2: Mathematics
- 201800524 - Research Topics EIT
- 201900194 - Research Topics I-Tech
- 201900195 - Final Project I-Tech
- 201900200 - Final Project EMSYS
- 201900234 - Internship I-Tech
- 202000973 - Art [&&] Impact
- 202000975 - Algorithms for Creative Technology
- 202000976 - Statistics
- 202000977 - Professional Development M4
- 202000993 - Artificial Intelligence
- 202001024 - Software Systems Core
- 202001434 - Internship EMSYS
- 202001613 - MSc Final Project BIT + CS
- 202001614 - MSc Final Project CS + I-Tech
- 202001616 - Research Topics CS + I-TECH
- 202200133 - Intro Computer Science & Programming
- 202200201 - Software Engineering Embedded Systems
- 202200251 - Capita Selecta DST
- 202300070 - Final Project EMSYS
- 202300186 - Software Systems Core
- 202300277 - Programming for AI
- 202300286 - M3 Regelsystemen in de mens
Courses academic year 2022/2023
- 192166200 - Capita Selecta I-TECH
- 192199508 - Research Topics CS+IST
- 192199968 - Internship CS
- 192199978 - Final Project CS+IST
- 201300086 - Research Topics 2 CS+IST
- 201300294 - Master Thesis SEC Computer Science
- 201400171 - Capita Selecta Software Technology
- 201500039 - Security Verification
- 201600017 - Final Project Preparation
- 201800496 - S2: Mathematics
- 201800524 - Research Topics EIT
- 201900194 - Research Topics I-Tech
- 201900195 - Final Project I-Tech
- 201900200 - Final Project EMSYS
- 201900234 - Internship I-Tech
- 202000973 - Art, Impact and Technology
- 202000975 - Algorithms for Creative Technology
- 202000976 - Statistics
- 202000977 - Professional Development M4
- 202000993 - Artificial Intelligence
- 202001024 - Software Systems Core
- 202001434 - Internship EMSYS
- 202001613 - MSc Final Project BIT + CS
- 202001614 - MSc Final Project CS + I-Tech
- 202001616 - Research Topics CS + I-TECH
- 202200133 - Intro Computer Science & Programming
- 202200201 - Software Engineering Embedded Systems
- 202200251 - Capita Selecta DST
- 202200282 - M3 Regelsystemen in de mens
- 202200377 - Internship I-Tech / Robotics
- 202200399 - Internship I-Tech / Robotics
Address
![](https://1348661504.rsc.cdn77.org/.uc/iff4689c40103f3eb1100f2c8f403e85637f06a7b284b0801e3bc0268018041/zilverling.jpg)
University of Twente
Zilverling (building no. 11), room 3070
Hallenweg 19
7522 NH Enschede
Netherlands
University of Twente
Zilverling 3070
P.O. Box 217
7500 AE Enschede
Netherlands