Marcus Gerhold

I am a PhD candidate in the Formal Methods & Tools group and the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) of the University of Twente.

Room: Zilverling 3126
Phone: +31 53 489 5086
Mail address: University of Twente
EWI-FMT (Zilverling)
P.O. Box 217
7500 AE Enschede
The Netherlands

Study Period

Between the time of autumn 2008 and summer 2011 I studied mathematics at the Friedrich-Schiller-Universität Jena. While taking both psychology and computer science classes as minor subjects, the focus of my studies was on analysis (in particular Function Spaces).
During the summer of 2011 I wrote my BSc. thesis under supervision of Prof. Dr. Dorothee Haroske. I did an academic exchange year via the ERASMUS-programme and studied at the University of Aberdeen in the wonderful countryside of Scotland during Sep. 2011 - May 2012. I came back to complete my studies by writing my MSc. thesis, again under supervision of Prof. Dr. Haroske.

PhD Period

In June 2014 I joined the research group of Dr. Mariëlle Stoelinga at the University of Twente to work on the BEAT project. The project aims at providing more efficient and effective model-based testing methods, thus lowering time and costs to test systems.