Bild mit Unilogo
homeicon uni sucheicon suche kontakticon kontakt impressicon impressum
unilogo Universität Stuttgart 
Institut für Formale Methoden der Informatik

Mitarbeiter und Gäste der Abteilung Theoretische Informatik

englishicon
 
Gruppenfoto TI
(Aufnahme vom November 2004)
v.l.n.r.: Yuri Matiyasevich, Horst Prote, Nicole Ondrusch, Alexander Miller, Irène Durand, Géraud Sénizergues, Volker Diekert, Ulrich Hertrampf, Heike Photien, Holger Petersen, Markus Lohrey, Holger Austinat, Klaus Wich, Manfred Kufleitner.
Aktuelles Gruppenfoto.
Früheres Gruppenfoto: 2002