Interessengebiete

• Einwegfunktionen und Pseudozufallsgeneratoren
• Kryptographische Protokolle
• Komplexität und Algorithmen

Lehre

Wintersemester 2008/09

• Komplexitätstheorie (Übung)
• Theoretische Informatik 2 (Übung)
• Kryptographische Protokolle (Seminar Komplexität und Kryptologie)

Sommersemester 2008

• Kryptologie 2 (Übung)
• Theoretische Informatik 3 (Übung)
• Hürden zum Lösen des P-NP-Problems (Seminar Komplexität und Kryptologie)

Wintersemester 2007/08

• Kryptologie 1 (Übung)
• Pseudozufallsgeneratoren (Seminar Komplexität und Kryptologie)

Publikationen

• Effiziente Suchraumeinschränkung zur constraintbasierten Planung von optionalen Aktivitäten auf exklusiven Ressourcen, Diplomarbeit, Technische Universität Berlin, 2007 [kuhnert-diplomarbeit.pdf]
• Efficient Edge-Finding on Unary Resources with Optional Activities, Proceedings of the 17th Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007), Technical Report 434, Universität Würzburg 2007, pp. 35-46. [ http://www1.informatik.uni-wuerzburg.de/databases/INAP/2007/TR/report.pdf]