Marie-Christine Jakobs -

Registered user since Tue 21 Nov 2017

Name:Marie-Christine Jakobs

Bio:

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 to 2023 Marie-Christine Jakobs was an assistant professor at TU Darmstadt. Since 2023 she is an associate professor at LMU Munich.

Country:Germany

Affiliation:LMU Munich, Germany

Personal website:https://www.sosy-lab.org/people/jakobs/

Research interests:program analysis, software model checking, software testing, regression verification, functional equivalence checking, cooperative verification

Contributions

FormaliSE 2023	PC Chair in Program Committee within the FormaliSE 2023-track
MODELS 2023	Committee Member in PC - Foundations Track within the Technical Track-track
FTfJP 2023	PC Member in Program Committee within the FTfJP 2023-track
FormaliSE 2022	Committee Member in Program Committee within the FormaliSE 2022-track
SPIN 2021	Author of PatEC: Pattern-based Equivalence Checking within the SPIN-track Author of Verifying Pipeline Implementations in OpenMP within the SPIN-track
FormaliSE 2021	Author of PEQcheck: Localized and Context-aware Checking of Functional Equivalence within the FormaliSE 2021-track Committee Member in Programme Committee within the FormaliSE 2021-track
FormaliSE 2020	PC Member in Program Committee within the FormaliSE 2020-track
VMCAI 2020	PC Member in Program Committee within the VMCAI 2020-track Artifact Evaluation Chair in Artifact-Evaluation Committee within the VMCAI 2020-track Artifact Evaluation Chair in Organizing Committee within the VMCAI 2020-track
FTfJP 2019	Committee Member in Program Committee within the FTfJP 2019-track
ETAPS 2019	Author of CPAchecker with Strategy Selection within the Posters-track Author of CoVeriTest: Cooperative Verifier-Based Testing within the Posters-track
FASE 2019	Author of CoVeriTest: Cooperative, Verifier-Based Testing within the FASE 2019-track
* ICSE 2018 *	Committee Member in Demonstrations Program Committee within the DEMO - Demonstrations -track Session Chair of Verification (part of DEMO - Demonstrations ) Author of Reducer-Based Construction of Conditional Verifiers within the Technical Papers -track
FormaliSE 2018	Committee Member in Program Committee within the FormaliSE 2018-track