Dr. Dominik Haneberg

Akademischer Rat
| E-Mail: | haneberg@informatik.uni-augsburg.de |
| Telefon: | +49 821 598 - 2178 |
| Fax: | +49 821 598 - 2175 |
| Raum: | 2032 |
| Hausanschrift: |
Universitätsstr. 14
86159 Augsburg |
My GPG-key is available here.
|
1975 |
Born in Ulm |
|
1981-1985 |
Ludwig-Uhland-Grundschule in Blaustein (Elementary school) |
|
1985-1994 |
Hans- und Sophie Scholl-Gymnasium in Ulm |
|
1994 |
Abitur |
|
1994-1995 |
Civil service at the University of Ulm |
|
1995-2000 |
Studied Computer Science at the University of Ulm |
|
2000 |
Graduated as Diplom-Informatiker |
|
Since 2000 |
Researcher at the University of Augsburg |
|
2006 |
Ph.D. in Computer Science, topic: Security of Smart Card Applications |
Research Interest
- Verification of cryptographic protocols
- Higher-order logic
- Theorem Proving, especially KIV
- Abstract State Machines (ASM)
- Mondex
- Software Engineering
- Robotics
Projects
Currently my time is divided up between two important tasks:
- First of all, I'm coordinating the Elite Graduate Program Software Engineering, a special course of study for ambitious and dedicated students interested in broadening their knowledge of state-of-the-art Software Engineering. The Graduate Program is supported by the Elite Network of Bavaria and offered by the University of Augsburg, together with the Technical University of Munich and the Ludwig-Maximilians-University Munich
- Secondly, I'm doing research within the Go!Card project which develops a method for securing Smartcard applications. This continues my earlier research described in my Ph.D. thesis.

