Tim Gonschorek

Wiss. Mitarbeiter/-in

M.Sc. Tim Gonschorek

Faculty of Computer Science (FIN)
Chair of Software Engineering (CSE)
Universitätsplatz 2, 39106 Magdeburg, G29-402
Vita

From 2009 to 2015 I studied Computer Systems in engineering at Otto-von-Guericke-University Magdeburg. In 2013 I reached my bachelor degree with Bachelor-Thesis “A Method for the Abstraction of Continuous Differential Equations”. At the beginning of 2015, I reached my master degree with the thesis “A Backward Model Checking Approach with Slicing”.

Since 04/01/2015 I am working as full-time assistant researcher here, at the Chair of Software Engineering. Before, I worked as an assistant researcher at the same working group from 2011 to 2015. Thereby, I was involved in the management and development of the formal verification tool VECS.

Further, from 2010 to 2013, I worked as junior software developer at FuelCon AG in Barleben, a company developing test places for batteries and fuel cells.

My research interests are formal methods in software and systems engineering, like the analysis of software, e.g., based on abstract syntax trees, as well as their qualitative and quantitative verification and testing with several model checking techniques.
Here, I am, in particular, focussing on methods for the integration formal model-based verification techniques into the development life-cycle of critical systems and corresponding verification methods for real system models.

In my master thesis, I also developed a new model checking technique, the backward model checking with slicing, based on some backward model checking traversal using SMT programs for model representation. Further, I currently work on the usage of importance sampling techniques for the quantitative analysis of safety-critical systems.

Lectures
Publications
Courses

Last Modification: 26.09.2023 - Contact Person: Tim Gonschorek