Prof. Dr. Uwe Petermann

Room ......... 569 (old: 629), Gustav-Freytag-Str. 42A
Phone ........ +49 341 3076 6256
Fax ............ +49 341 3076 6381
E-Mail ....... uwe@imn.htwk-leipzig.de
WWW .......... www.imn.htwk-leipzig.de/~uwe
Postal:: Leipzig University of Applied Sciences
Dept. of Sciences
Postfach 300066
04251 Leipzig
Germany

Research Topics / Forschungsgebiete:

Provably Correct Software