Benjamin Hoffmann Wissenschaftlicher Mitarbeiter
Telefon	+49-(0)711-7816 405
Telefax	+49-(0)711-7816 310
Zimmer	1.116
E-Mail	Benjamin.Hoffmann@fmi.uni-stuttgart.de
Anschrift	Universität Stuttgart, FMI Universitätsstr. 38 D-70569 Stuttgart

Lehre

• Wintersemester 2008/2009: Ergänzungen zur Logik

• Wintersemester 2008/2009: Ergänzungen zur Theoretischen Informatik 2

• Wintersemester 2008/2009: Hauptseminar Spiele in der Informatik

• Sommersemester 2008: Prüfungsvorbereitung

• Sommersemester 2008: Ergänzungen zur Diskreten Mathematik

• Sommersemester 2008: Ergänzungen zur Theoretischen Informatik 3

• Wintersemester 2007/2008: Ergänzungen zur Logik

• Wintersemester 2007/2008: Ergänzungen zur Theoretischen Informatik 2

• Sommersemester 2007: Übungen zur Diskreten Mathematik

• Wintersemester 2006/2007: Übungen zur Formalen Semantik

• Wintersemester 2006/2007: Übungen zur Theoretischen Informatik 2

Veröffentlichungen

• Maximal Intersection Queries in Randomized Graph Models (mit Yury Lifshits und Dirk Nowotka)
  [Zusammenfassung] [PDF][PS][Vortrag] Proceedings of CSR 2007, LNCS, Vol. 4649, pp. 227--236, Springer.

Sonstiges

• Die DLT 2009 wird in Stuttgart stattfinden.