Registered user since Tue 21 Nov 2017
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.
Affiliation:LMU Munich, Germany
Research interests:program analysis, software model checking, software testing, regression verification, functional equivalence checking, cooperative verification
|FormaliSE 2023||PC Chair in Program Committee within the FormaliSE 2023-track|
|Show activities from other conferences|
Using general profile