Institut für Theoretische Informatik

Dr. rer. nat. Henning Wunderlich

Interessen

  • Kommunikationskomplexität
  • Informationstheorie und Kolmogorov-Komplexität
  • Theorie perfekter Graphen
  • Implizite Komplexitätstheorie, statische Programmanalyse
  • Strukturelle Komplexitätstheorie
  • Riemannsche Geometrie, Index-Theoreme

Lehre in Ulm

  • Datenkompression (SS 2010)
  • Formale Grundlagen der Informatik (WS 2009/2010)
  • Algorithmen und Datenstrukturen (WS 2009/2010)
  • Kombinatorische Methoden der Informatik (SS 2009)
  • Berechenbarkeit und Komplexität (SS 2009)
  • Formale Grundlagen der Informatik (WS 2008/2009)
  • Praktische Informatik (WS 2008/2009)
  • Kolmogorov-Komplexität (SS 2008)
  • Theoretische Informatik II (SS 2008)
  • Proseminar Graphalgorithmen (WS 2007/2008)
  • Formale Grundlagen der Informatik (WS 2007/2008)
  • Hauptseminar Kommunikationskomplexität (SS 2007)
  • Boolesche Funktionen (SS 2007)
  • Algorithmen II (WS 2006/2007)
  • Theoretische Informatik I (WS 2006/2007)

Veröffentlichungen

  • Karl-Heinz Niggl, Henning Wunderlich: Implicit characterizations of FPTIME and NC revisited. J. Log. Algebr. Program. 79(1): 47-60 (2010)
  • H. Wunderlich, On cover-structure graphs, Discrete Applied Mathematics 157 (15): 3289-3299 (2009)
  • M. Dietzfelbinger, H. Wunderlich, A characterization of average case communication complexity, Inf. Process. Lett. 101(6): 245-249 (2007)
  • K.-H. Niggl, H. Wunderlich, Certifying polynomial time and linear/polynomial space for imperative programs, SIAM J. Computing, Vol. 35, No. 5, pp. 1122-1147 (2006)

Konferenzbeiträge

  • H. Wunderlich, On Toda's Theorem in Structural Communication Complexity. SOFSEM 2009: 609-620 (LNCS 5404)
  • H. Wunderlich, Covers have structure, MIdwestern Graph THeorY (MIGHTY) Conference, UDM, Detroit, 6. Oktober 2007

Workshops und Vorträge

  • Über die Klasse BP-Parität-P in der Strukturellen Kommunikationskomplexität, Graduiertenkolleg Universität Ulm, 4. Dezember 2008
  • Covers have structure, 53. Workshop über Komplexitätstheorie, Datenstrukturen und Effiziente Algorithmen, Dortmund, 3.-4. Mai 2007
  • Implicit characterizations of FPTIME and NC revisited, 5th International Workshop on Proof, Computation, Complexity, Ilmenau, 24.-25. Juli 2006
  • Eine Charakterisierung der average case Kommunikationskomplexität, Fachbereich Mathematik, Theoretische Informatik, Universität Siegen, 10. Juli 2006
  • Characterising FPTIME Through Stack Programs with Arbitrary Primitives, 2nd International Workshop on Proof, Computation, Complexity, Dresden, 3.-4. Juli 2003

Eingereichte Arbeiten

  • On a Theorem of Razborov
  • On a Singular Value Method in Communication Complexity

Diplomarbeit(en)

  • Syntaktische Charakterisierungen effizient berechenbarer Funktionen, Institut für Theoretische Informatik, Technische Universität Ilmenau, 2003
  • Atiyah-Singer-Index-Theoreme, in Vorbereitung <p><a href="http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.190/Mitarbeiter/wunderlich/Belegung/Belegung_FernUni.txt">(besuchte Kurse an der FernUni Hagen)</a>

Dissertation

Contributions in Structural Communication Complexity

Gutachter:

Prof. Dr. Martin Dietzfelbinger
Prof. Dr. Georg Schnitger
Prof. Dr. Uwe Schöning

Didaktik (Kurse des HDZ)

  • Fit für die Lehre I
  • Fit für die Lehre II
  • Heterogenität in Lehrveranstaltungen
  • Das Lehrportfolio

Erdös-Zahl

Meine Erdös-Zahl ist 3 (Erdös-Alon-Dietzfelbinger-Wunderlich).