Bild mit Unilogo
homeicon university sucheicon search kontakticon contact impressicon legal notice
unilogo University of Stuttgart 
Institute of Formal Methods in Computer Science

Division of Theoretical Computer Science and Guests

Group Photo TI
(Shooting of November 2004)
from left to right: 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.
Current picture.
Former picture: 2002