Suche

Dipl.-Inf. Jörg Pfähler


Wiss. Mitarbeiter

E-Mail: joerg.pfaehler@informatik.uni-augsburg.de
Telefon: +49 821 598 - 2229
Raum: 3014 N
Hausanschrift: Universitätsstr. 6a
86159 Augsburg


Links:

The focus of my research is the application of formal methods to the construction of software. I am involved in the Flashix-Project: The goal is the development a verified file system for Flash memory.