MODELS 2023 (series) / 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
MODELS 2023-profile
View general profile
View general profile