Home | deutsch | Legals | Sitemap | KIT
MattiasUlbrich Dipl.-Inform. Mattias Ulbrich
Wiss. Mitarbeiter
Room: 106
Phone: +49 721 608 - 4338
Fax: +49 721 608 - 4211
mulbrichRkr6∂ira uka de

Am Fasanengarten 5
Gebäude 50.34
D-76131 Karlsruhe

Interests

  • Abstract Formal Modelling and Specification
  • Intermediate Verification Languages and Interaction
  • Dynamic Logic
  • The Event-B Methodology

Project

K e Y
The KeY Project

Tools

I am involved in the development of:

  • TABLET - A Java Applet for a first tableau calculus (w/ some automation), mainly for teaching purposes
  • KeY - Integrated Deductive Software Design
  • ivil - Interactive Verification on Intermediate Language
Publications
Title Author Date
April 2010


Teaching
Title Type
Seminar
Praktikum
Seminar
lecture
Seminar
Vorlesung


Diplom- / Studienarbeit
Titel Typ Datum: Betreuer:
Diplomarbeit 2007
Studienarbeit 2005

Dr. Kai Kapp