Prof. Dr. Marie-Christine Jakobs
Professor
Software and Computational Systems Lab
Department of Computer Science
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538
Munich
(Germany)
- Office
- Room 058, Oettingenstr. 67
- lastname@sosy.ifi.lmu.de (You need to replace lastname.)
- ORCID
-
0000-0002-5890-4673
GPG-Key
Please send me encrypted mails!
My GPG key: Public Key
Fingerprint: 78ED 2ABF EBA8 80FD 93DD B385 6C09 F182 7936 0D27
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. From 2019-2023 Marie-Christine Jakobs was an assistant professor at TU Darmstadt. Since 2023 she has been a professor for at Ludwig-Maximilians-Universität München. She has also been contributing to the software analysis tool CPAchecker since 2012.
Research
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.Publications
All my publications are available at DBLP and Google Scholar
.Current and Past Funded Projects
- ReVeriX: Efficiently Reverifying Modified Programs Despite of Switching the Verification Approach (DFG Project)
- Software Factory 4.0 (Part Project L, LOEWE project, HMWK, 2019-2022)
Currently supervised PhD students
- Max Barth
Teaching
Courses Taught in the Past
Technical University of Darmstadt:
- Modellierung, Spezifikation und Semantik (WS 2022/23)
- Automatic Software Verification (SS 2019, SS 2020, SS 2021, SS 2022)
- Verification of Parallel Programs (WS 2019/20, WS 2020/21, WS 2021/22, WS 2022/23)
- Seminar Advanced Approaches in Software Verification (WS 2019/20, SS 2020, WS 2020/21, SS 2021, WS 2021/22, SS 2022, WS 2022/23)
LMU Munich:
- WS 2018/19:
- SS 2018:
- WS 2017/18: Formal Specification and Verification 2 (Training Course)
Paderborn University:
- SS 2017: Softwaremodellierung mit formalen Methoden (Übung)
- WS 2016/17: Formal models for safe and secure systems (Seminar)
- SS 2016: Grundlagen der Programmierung (Übung), Moderne Programmiersprachen (Proseminar)
- WS 2015/16: Projectgroup: A3: Android App Analysis (Part II)
- SS 2015: Projectgroup: A3: Android App Analysis (Part I)
- WS 2014/15: Software Analysis (Übung)
- SS 2014: Grundlagen der Programmierung 2 (Übung)
- WS 2013/14: Grundlagen der Programmierung 1 (Übung)
- SS 2013: Softwaremodellierung mit formalen Methoden (Übung)
- WS 2012/13: Deductive Verification (Übung)
- WS 2009/10: Databases and Information Systems I (Übung)