- Aktuell

- Suche

- Kontakt

Dr. Kurt Stenzel

Akad. Rat

E-Mail: stenzel@informatik.uni-augsburg.de
Telefon: +49 821 598 - 21 78
Fax: ++49821598-2175
Raum: 2032 (NW 1)


My main interests are in formal specification and verification of software systems, and in computer security.
I am involved in the development of the KIV system, and also work in some of the projects of our group.

You can browse my publications or all publications 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

You can browse the formal specifications and proofs of the dissertation. (This requires an xml/xslt-capable browser like Firefox or Internet Explorer.) Postal address:
Lehrstuhl für Softwaretechnik und Programmiersprachen
Institut für Informatik
Universität Augsburg
86135 Augsburg

Room: Universitätsstr. 14 (NW 1)/2032
Phone: 0821/598-2178
Fax: 0821/598-2175