Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät II - Lehr- und Forschungsgebiete

Wissenschaftlicher Mitarbeiter

Sprechzeiten nach Vereinbarung
Büro: Rudower Chaussee 25, Raum 4.015
Telefon: +49 30 2093 3939
Email: kuhnert (at) informatik.hu-berlin.de
PGP-Schlüssel: F82B6106 (frühere: A39F36F8, 7BA19A6E)

Private Internetseite: http://sebastian-kuhnert.de/

Interessengebiete

• Graphisomorphie und -kanonisierung
• Einwegfunktionen und Pseudozufallsgeneratoren
• Kryptographische Protokolle
• Komplexität und Algorithmen

Lehre

Sommersemester 2012

• Hashfunktionen (Seminar Komplexität und Kryptologie)

Wintersemester 2011/12

• Probabilistically Checkable Proofs und Approximation (Seminar Komplexität und Kryptologie)

Sommersemester 2011

• Graphisomorphie (Seminar Komplexität und Kryptologie)

Wintersemester 2010/11

• Erzeugung und Verwendung von Zufall (Seminar Komplexität und Kryptologie)

Sommersemester 2010

• Theoretische Informatik 3 (Übung)
• Kryptologie 2 (Übung)
• Aktuelle Entwicklungen in der Kryptographie (Seminar)

Wintersemester 2009/10

• Theoretische Informatik 2 (Übung)
• Kryptologie 1 (Übung)

Sommersemester 2009

• Theoretische Informatik 3 (Übung)
• Interaktive Beweise (Seminar)
• Moderne Kryptoverfahren (Proseminar)

Wintersemester 2008/09

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

Sommersemester 2008

• Theoretische Informatik 3 (Übung)
• Kryptologie 2 (Ü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

• The Isomorphism Problem for k-Trees is Complete for Logspace
  With V. Arvind, Bireswar Das, Johannes Köbler.
  Information and Computation 217 (2012), pp. 1-11. DOI: 10.1016/j.ic.2012.04.002.
  An earlier version was presented at MFCS 2009; DOI: 10.1007/978-3-642-03816-7_46.
• Interval Graphs: Canonical Representations in Logspace
  With Johannes Köbler, Bastian Laubner, Oleg Verbitsky.
  SIAM Journal on Computing 20.5 (2011), pp. 1292-1315. ISSN: 0097-5397. DOI: 10.1137/10080395X.
  An earlier version was presented at ICALP 2010; DOI: 10.1007/978-3-642-14165-2_33.
• Efficient Edge-Finding on Unary Resources with Optional Activities
  Applications of Declarative Programming and Knowledge Management (Proceedings of INAP/WLP 2007). LNCS 5437. Springer, 2009. Pp. 38-53. ISBN: 978-3-642-00674-6. DOI: 10.1007/978-3-642-00675-3_3
• Effiziente Suchraumeinschränkung zur constraintbasierten Planung von optionalen Aktivitäten auf exklusiven Ressourcen
  Diplomarbeit, Technische Universität Berlin, 2007.