For full functionality of this site it is necessary to enable JavaScript. Here are the
instructions how to enable JavaScript in your web browser
.
jump to content
jump to footer
Institute for Formal Methods of Computer Science
Uni
versity of Stuttgart
F
aculty
05
Language of this page
de
en
Search
Main navigation
Search
Suche
back
Algorithmik
Theoretical Computer Science
Algorithmik
Team
Teaching
Research
Theoretical Computer Science
Team
Teaching
Research
close navigation
Position within the page tree
Move path to the left
Move path to the right
Home
Theoretical Computer Science
Team
Team
The Staff of our Group
Head
PD Dr. Manfred Kufleitner
Research Assistant
Phone:
+49 711 685 88231
E-Mail
Team
Horst Prote
Sysadmin of the FMI
Phone:
+49 711 685 88348
E-Mail
Florian Stober
Research Assistant
Phone:
+49 711 685 88410
E-Mail
Alexander Thumm, M. Sc. Math.
Research Assistant
Phone:
+49 711 685 88480
E-Mail
PD Dr. Armin Weiß
Phone:
+49 711 685 88405
E-Mail
Petra van Schayck
Secretary
Phone:
+49 711 685 88328
E-Mail
Alumni
Carlos Camino
Research Assistant
Phone:
+49 711 685 88480
E-Mail
Lukas Fleischer
Research Assistant
Prof. Dr. Ulrich Hertrampf
Retired Adjunct Professor
Phone:
+49 711 685 88328
E-Mail
Caroline Mattes
Research Assistant
Phone:
+49 711 685 88210
E-Mail
Janette Welker, M. Sc. Inf.
Research Assistant
Phone:
+49 711 685 88344
E-Mail
To the top of the page