Mattias Ulbrich

You will be redirected to our new homepage in a few seconds.
Universität Karlsruhe
Fakultät für Informatik
Institut für Theoretische Informatik
Lehrstuhl Prof. P.H. Schmitt
Am Fasanengarten 5
76131 Karlsruhe, Germany

E-Mail: my email address
Phone: +49 721 608 4338
Fax: +49 721 608 4211
Building 50.34, Room 106

I am a member of Prof. P. H. Schmitt's group at the University of Karlsruhe since May 2007.

The Project

K e Y
The KeY Project
- Integrated Deductive Software Development -
The aim of the project is to integrate formal software specification and verification into the industrial software engineering processes.
The KeY project is funded by the DFG.

Interests

Publications

  1. Software Verification for Java 5
    Diplomarbeit, Fakultät für Informatik, Universität Karlsruhe, 2007
    [PDF] [BibTeX] [Slides] [Kurzpräsentation]
    Ausgezeichnet mit dem Objektforum Förderpreis 2007.
     
  2. Bereitstellung und Zuweisung von Ressourcen in der formalen algorithmischen Synthese
    Studienarbeit, Fakultät für Informatik, Universität Karlsruhe, 2005
    [PDF] [BibTeX] [Vortrag]

Teaching

  1. SS 07: Seminar Formale Software-Entwicklung
  2. WS 07: Übungsbetrieb zur Vorlesung Formale Systeme

Links

The project

People

Bookmarks