Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professorin Dr. Marie-Christine Jakobs

Adresse Ludwig-Maximilians-Universität München (LMU)
Institut für Informatik
Software and Computational Systems Lab
Oettingenstraße 67
80538 München

Projekte

Als Antragstellerin
- laufende Projekte
  - ReVeriX: Effiziente Reverifikation geänderter Programme trotz Wechsels des Verifikationsansatzes (Sachbeihilfen)
Als beteiligte Wissenschaftlerin
- laufende Projekte
  - GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems (Graduiertenkollegs)

© 2024 DFG Kontakt / Impressum / Datenschutz