Prof. Dr. Marie-Christine Jakobs

Prof. Dr. Marie-Christine Jakobs is an assistant professor of the Computer Science Department at the Technical University Darmstadt. She is the leader of the research group Semantics and Verification of Parallel Systems and the principal investigator of part project L in the SF4.0 project..

Picture: Benjamin Raddatz

Prof. Dr. rer. nat. Marie-Christine Jakobs


work +49 6151 16-20920

Work S2|02 E307
Hochschulstraße 10
64289 Darmstadt

Prof. Dr. Marie-Christine Jakobs

Short Biography

In 2012, Marie-Christine Jakobs finished her studies in computer science at Paderborn University. She received her doctor's degree in 2017 from Paderborn University. From 2017 to 2019 she worked as postdoctoral researcher at LMU Munich. Since 2019 Marie-Christine Jakobs has been an assistant professor at TU Darmstadt. Furhtermore, Marie-Christine Jakobs has been contributing to the software analysis tool CPAchecker since 2012.


Public GPG key

Key ID 6C09F18279360D27

Fingerprint 78ED 2ABF EBA8 80FD 93DD B385 6C09 F182 7936 0D27

Consultation Hours

Currently I have no fixed time slots for appointments. Please contact me by e-mail to get an appointment.

Research Interests

Marie-Christine Jakobs does research in the area of automatic software verification. Her research focuses on static analysis, model checking, testing, and runtime monitoring. She is interested in theoretical foundations as well as tool development.

One of her current research interests is incremental verification, in which information from a previous verification run is used to simplify the verification of the current, modified program. Furthermore, currently she also looks into the combination of verification approaches, verifier-based testing, optimization of runtime monitoring, and the validation of verification results.


All my publications are available at DBLP or Google Scholar.