Dr. Kurt Stenzel
Akad. Rat
| E-Mail: | stenzel@informatik.uni-augsburg.de |
| Telefon: | +49 821 598 - 2123 |
| Fax: | +49 821 598 - 2175 |
| Raum: | 3051N |
My main research interests are:
- SecureMDD, our model driven development method for security critical applications (see my publications in 2009)
- correctness of model transformations
- correctness and security of Java Card programs
- formal methods
- program verification, esp. for Java and Java Card programs
- verification of cryptographic protocols
- interactive theorem proving, and further development of our prover KIV
You can browse
- my publications, or
- all publications of our group, or
- take a look at the projects of our group.
- If you are interested you can have a look at our teaching activities (in german).
In 2005, I finished my Ph.D. thesis titled Verification of Java Card Programs. The official site of the dissertation is
- URN: urn:nbn:de:bvb:384-opus-1221 or
- URL: http://www.opus-bayern.de/uni-augsburg/volltexte/2005/122/
Postal address:
Lehrstuhl für Softwaretechnik und Programmiersprachen
Institut für Informatik
Universität Augsburg
86135 Augsburg

