Andreas RothUniversität Karlsruhe, Institut für Logik, Komplexität und Deduktionssysteme (Prof. P. H. Schmitt)Am Fasanengarten 5, Building 50.34, Room 106 76128 Karlsruhe, Germany |
aroth@ira.uka.de Phone +49 721 6084338 Fax +49 721 608 4211 |
|
The Project
I'm
a
researcher/PhD student in the KeY-Project
- Integrated Deductive Software Development.
Interests
- Modular deductive verification of Java programs
- Specification with UML/OCL and JML
- Implementation of the KeY prover
- Proofs with the KeY system
Teaching
- SS 2005: Seminar Formale Software-Entwicklung
- WS 2004/05: Praktikum Formale Entwicklung objektorientierter Software
- SS 2004: Seminar Formale Software-Entwicklung
- WS 2003/04: Praktikum Formale Entwicklung objektorientierter Software
- WS 2002/03: Praktikum Formale Entwicklung objektorientierter Software
Events
...I was somehow involved in:
- Tutorial
on Integrating Object-oriented Design and Deductive Verification of
Software at Formal Methods Europe 2003
- KeY Workshop 2003
Publications
KeY Internal Stuff
KeY Shirts|
|