Suche

Dr. Jörg Pfähler


Ehemalige(r)

E-Mail: joerg.pfaehler@informatik.uni-augsburg.de


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.