Neue Qualifikationsprofessorin für Teilprojekt L

  • Veröffentlicht am: 4 März, 2019 - 13:46


Wir begrüßen Prof. Dr. Marie-Christine Jakobs als neues Mitglied von Software-Factory 4.0. Sie vertritt seit März 2019 das Fachgebiet Semantik und Verifikation paralleler Systeme an der TU Darmstadt und wird das gleichnamige Teilprojekt L im Software-Factory 4.0 Projekt leiten.

Prof. Jakobs studierte Informatik an der Universität Paderborn und promovierte von 2012 bis 2017 in der Arbeitsgruppe von Prof. Dr. Heike Wehrheim zum Thema Proof-Carrying Services. Ihre Promotion entstand im Rahmen des Sonderforschungsbereichs 901 "On-The-Fly Computing" und wurde für den GI-Dissertationspreis 2017 nominiert. Zusätzlich wurde Prof. Jakobs Arbeit mit dem Wissenschaftspreis des Zonta Clubs Paderborn ausgezeichnet.

Nach ihrer Promotion war Prof. Jakobs Postdoktorandin in der Arbeitsgruppe von Prof. Dr. Dirk Beyer an der LMU München. Als Teil des Entwicklerteams des Verifikationswerkzeugs CPAchecker hat sie erfolgreich an der 7. und 8. International Competition on Software Verification teilgenommen. Außerdem hat ihr Tool CoVeriTest bei der erstmalig stattfindenden International Competition on Software Testing den dritten Platz erreicht.

Zu den Forschungsinteressen von Prof. Jakobs gehören Methoden der formalen Softwareverifikation, insbesondere Software Model Checking und Testen, kooperative Verifikation und Proof-Carrying Code Verfahren. Neben den formalen Grundlagen spielt die Werkzeugentwicklung eine wichtige Rolle bei ihrer Arbeit.