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

Detailseite

Person

Druckansicht

Professor Dr. Rupak Majumdar

Adresse Max-Planck-Institut für Softwaresysteme
Paul-Ehrlich-Straße 26
67663 Kaiserslautern

Projekte

Als Teilprojektleiter
- laufende Projekte
  - Dynamische, Hybride und Probabilistische Systeme: Verifikation & Erklärung (Transregios)
  - Programmierabstraktionen für cyber-physische Systeme (Transregios)
- abgeschlossene Projekte
  - Probabilistische Kausalität und Erklärungen (Transregios)
Als Beteiligte Person
- abgeschlossene Projekte
  - Robustheit gegenüber schwachen Speichermodellen (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz