Redner Info | Institut für Theoretische Informatik, Technische Universität Braunschweig |
Beginn | 23.01.2012, 17:00 Uhr |
Ort | TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1.OG, Hörsaal 160 |
Eingeladen durch | Dr. Stefan Milius |
In diesem Vortrag gebe ich einen Überblick über meine aktuellen Forschungsthemen. Der Schwerpunkt wird dabei auf der Theorie der zustandsbasierten Systeme liegen. |