Zuverlässige Software
Ludwig-Maximilians-Universität München (LMU)

Marie-Christine Jakobs erforscht formale Methoden zur Analyse von Softwarequalität. Ihre Techniken basieren auf mathematischen Grundlagen und unterstützen Softwareentwickler bei der Entdeckung von Softwarefehlern als auch beim Nachweis der Abwesenheit von bestimmten Fehlfunktionen in z.B. sicherheitskritischen Anwendungen. Mit ihrer Forschung trägt sie somit dazu bei, dass Software gefahrloser und zuverlässiger funktioniert. Ein spezifisches Interesse ihrer Forschung gilt dem Austausch von Informationen zwischen Softwareanalysen zum Zwecke der Kooperation verschiedener Analysen, der Erklärung und Überprüfung von Analyseergebnissen und einer effizienteren Nachprüfung bei Softwareanpassungen.

(Foto: Stephan Höck/LMU)