Welcome...

dr. M. Gerhold (Marcus)

Assistant Professor

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

Engineering & Materials Science
Bluetooth
Network Protocols
Real Time Systems
Specifications
Statistical Methods
Testing
Mathematics
Framework
Model-Based Testing

Publications

Recent
Admiraal, C., van den Brink, W. , Gerhold, M. , Zaytsev, V., & Zubcu, C. (2024). Deriving modernity signatures of codebases with static analysis. The Journal of systems and software, 211, Article 111973. https://doi.org/10.1016/j.jss.2024.111973
Wal, D. V. D. , Gerhold, M. , & Stoelinga, M. (2023). Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller. In A. Cimatti, & L. Titolo (Eds.), Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (pp. 242-258). (Lecture Notes in Computer Science book series; Vol. 14290). https://doi.org/10.1007/978-3-031-43681-9_14
van den Brink, W. , Gerhold, M. , & Zaytsev, V. (2022). Deriving Modernity Signatures for PHP Systems with Static Analysis. In Proceedings - 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation, SCAM 2022 (pp. 181-185). (Proceedings IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM); Vol. 2022, No. 22). IEEE. https://doi.org/10.1109/SCAM55253.2022.00027
Gerhold, M., Hartmanns, A. , & Stoelinga, M. (2019). Model-based testing of stochastically timed systems. Innovations in systems and software engineering, 15(3-4), 207-233. https://doi.org/10.1007/s11334-019-00349-z

UT Research Information System

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.
 

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

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling  3070
P.O. Box 217
7500 AE Enschede
The Netherlands