Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Dr. Mattias Ulbrich

Address Karlsruher Institut für Technologie (KIT)
Institut für Theoretische Informatik
Am Fasanengarten 5
76131 Karlsruhe

Projects

As Applicant
- Current projects
  - KeY - A Deductive Software Analysis Tool for the Research Community (Research Grants)
- Completed projects
  - Regression Verification in a User-Centered Software Development Process for Evolving Automated Production Systems (Priority Programmes)
As Project Head
- Current projects
  - Complexity of Consistency (Collaborative Research Centres)
  - Recovery from Temporary Inconsistency (Collaborative Research Centres)

© 2024 DFG Disclaimer / Copyright / Privacy Policy