Institut für Theoretische Informatik
- 1:
Lehre. - 2: Forschung.
- 3: TheorieTag.
- 4: Mitarbeiter.
- 4.1:
Prof. Dr. Uwe Schöning. - 4.2: Prof. Dr. Jacobo Torán.
- 4.3: Prof. Dr. Enno Ohlebusch.
- 4.4: Waltraud Fromm.
- 4.5: Dipl.-Phys. Stefan Arnold.
- 4.6: Dipl.-Inf. Adrian Balint.
- 4.7: Dipl.-Inf. Timo Beller.
- 4.8: Dipl.-Inf. Oliver Gableske.
- 4.9: M.Sc.-Bioinf. Dominikus Krüger.
- 4.10: Dipl.-Inf. Adrian Kügel.
- 4.11: Dr. Markus Maucher.
- 4.12: Dipl.-Inf. Thomas Schnattinger.
- 4.13: Dipl.-Inf. Simon Straub.
- 4.14: Dipl.-Inf. Gunnar Völkel.
- 4.15: Ehemalige Mitarbeiter / Doktoranden.
- 4.15.1:
Dr. Martin Bader. - 4.15.2: Dipl.-Inf. Marcus Bombe.
- 4.15.3: Dr. Tobias Eibach.
- 4.15.4: Dr. Sebastian Dörn .
- 4.15.5: Dr. Simon Gog.
- 4.15.6: Dr. Thanh Minh Hoang.
- 4.15.7: Dr. Fabian Wagner.
- 4.15.8: Dr. Henning Wunderlich.
- 4.15.1:
- 4.1:
- 5: Adresse.
- 6: Intern.
- 7: Impressum.
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
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).