MODELS 2023
Sun 1 - Fri 6 October 2023 Västerås, Sweden
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
Research interests:program analysis, software model checking, software testing, regression verification, functional equivalence checking, cooperative verification

Contributions

Show activities from other conferences

MODELS 2023-profile
View general profile