Neue Professorin für Reliable Software
Wir begrüßen Prof. Dr. Marie-Christine Jakobs als neue Professorin für Zuverlässige Software in unserem Institut.
01.04.2023
Frau Prof. Jakobs ist seit dem 1. April 2023 als Professorin für Reliable Software am Lehrstuhl für Software und Computational Systems tätig. Zuvor war sie als Assistenzprofessorin an der TU Darmstadt tätig.
Marie-Christine Jakobs forscht im Bereich automatischer Softwareverifikation. Ihr Fokus liegt auf statischer Analyse, Model Checking und Testen. Dabei liegt ihr aktueller Fokus auf kooperativen Techniken und Techniken zu effizienten Reverifikation geänderter Programme. In ihrer Forschung beschäftigt sie sich sowohl mit theoretischer Grundlagenforschung als auch der Umsetzung ihrer Forschungsergebnisse in Softwareanalysewerkzeugen.