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

Detailseite

Person

Druckansicht

Dr. Mattias Ulbrich

Adresse Karlsruher Institut für Technologie
Institut für Theoretische Informatik
Am Fasanengarten 5
76131 Karlsruhe

Projekte

Als Antragsteller
- laufende Projekte
  - KeY - Ein deduktives Software-Analyse-Werkzeug für die Forschungsgemeinschaft (Sachbeihilfen)
- abgeschlossene Projekte
  - Regression Verification in a User-Centered Software Development Process for Evolving Automated Production Systems (Schwerpunktprogramme)
Als Teilprojektleiter
- laufende Projekte
  - Komplexität von Konsistenz (Sonderforschungsbereiche)
  - Wiederherstellung nach vorübergehender Inkonsistenz (Sonderforschungsbereiche)

© 2026 DFG Kontakt / Impressum / Datenschutz