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 September 2002)
from left to right: Paul Gastin, Klaus Wich, Alexander Miller, Ulrich Hertrampf, Volker Diekert, Heike Photien, Horst Prote, Holger Austinat, Markus Lohrey, Manfred Kufleitner.
Current picture.