university
search
contact
legal notice
University of Stuttgart
Division
|
Staff
|
Teachings
|
Research
|
Publications
|
Service
|
Institute
|
Computer Science
|
Faculty
Institute of Formal Methods in Computer Science
Division of Theoretical Computer Science
Benjamin Hoffmann
Scientific Assistant
Phone
+49-(0)711-7816 405
Fax
+49-(0)711-7816 310
Room
1.116
Email
Benjamin.Hoffmann
@
fmi.uni-stuttgart.de
Address
Universität Stuttgart, FMI
Universitätsstr. 38
D-70569 Stuttgart
Teaching
Winter term 2008/2009:
Logic
Winter term 2008/2009:
Theoretical Computer Science 2
Winter term 2008/2009:
Games in Computer Science
Summer term 2008:
Exam Preparation Course
Summer term 2008:
Concrete Mathematics
Summer term 2008:
Theoretical Computer Science 3
Winter term 2007/2008:
Logic
Winter term 2007/2008:
Theoretical Computer Science 2
Summer term 2007:
Concrete Mathematics
Winter term 2006/2007:
Formal Semantics
Winter term 2006/2007:
Theoretical Computer Science 2