Former professors
- Prof. Ekkehard Wendler, Institute of Transport Science
Deceased in November 2011. - Prof. Dr. Berthold Vöcking, Chair of Computer Science 1
Died on 11th June 2014 after a long illness, only 47 years of age.
We keep precious memories of a theses great scientists, colleagues, and advisors.
Former scholarship holders
- Melanie Winkler, Research Topic: Probabilistic Analysis of the Performance of Online Algorithms
- Diana Fischer, Research Topic: Logics for Quantitative Systems
- Kai Bollue, Research Topic: Algorithmische Synthese von Verhaltenssteuerungen für diskrete Systeme
- Markus Gelderie, Research Topic: Trategy Representation and Optimization
- Florian Göbe, Research Topic:
- Dominique Gückel, Research Topic: Synthesis of Hardware Simulators for Use in Model Checking
- Paul Hänsch, Research Topic: Reachability Analysis of Dynamic and Hybrid Systems
- Gerlind Herberich, Research Topic: Algorithmic Synthesis of Hybrid Control Systems
- Dr. Michael Holtmann, Research Topic: The Complexity of Winning Strategies in Infinite Games
- Katrin Hölldobler, Research Topic: Language Specific Model Transformations
- Gereon Kremer, Research Topic:
- Ulrich Loup, Control Synthesis and Optimization Using Real Algebraic SMT-Solving
- Dr. Sebastian Klabes, Research Topic: Models for Capacity Planning of Large Railway Nodes and Networks
- Dr. Daniel Klink, Research Topic: Konstruktion zeitkontinuierlicher Markov-Entscheidungsprozesse
- Simon Lessenich, Research Topic: Logic and Strategy Construction in Infinite Games
- Dr. Alexandru Mereacre, Research Topic: Time-Inhomogeneous Markov Chains and Piecewise Deterministic Markov Processes
- Martin Mertens, Research Topic: Modellierung und Verarbeitung von Anlagenmerkmalen
- Daniel Neider, Research Topic: Algorithmic Learning in Verification and Synthesis
- Johanna Nellen, Research Topic: Modular Synthesis and Analysis in Process Control Engineering
- Mathias Obster, Research Topic:
- Dr. Gustavo Quirós, Research Topic: Model-based Decentralised Automatic Management of Product Flow Paths in Processing Plants
- Deni Raco, Research Topic: Formalization and Verification of Distributed Systems
- Frederic Reinhardt, Research Topic:
- Stefan Repke, Research Topic: Finite State Strategies on Infinite Game Graphs
- Jan Oliver Ringert, Research Topic: Specification and Refinement of Dataflow Architectures
- Dr. Michaela Slaats, Research Topic: Aspects of Higher-Order Pushdown Systems — Infinite Regular Games and Strategies
- Jacob Spönemann, Research Topic: The Network Design Problem for Railway Infrastructure
- Stefan Swiderski, Research Topic: Termersetzungstechniken zur Synthese, Simulation, Transformation und Analyse von Prozessen
- Andreas Tönnis, Research Topic: Mechanism Design for Combinatorial Auctions
- Dr. Michael Ummels, Research Topic: Algorithmic Theory of Multiplayer Games
Former postdoc holders
- Dr. Dietmar Berwanger, Research Topic: Models of Interaction
- Angelo Fanelli Ph.D, Research Topic: Theoretical Computer Science and in particular algorithms, algorithmic game theory, networks.
- Dr. David N. Jansen, Research Topic: Probabilistic Models and Their Verification
- Dr. Martin Hoefer, Research Topic: Algorithmendesign für Netzwerksysteme mit rationalen Agenten
- Dr. Łukasz Kaiser, Research Topic: Logic and Games on Automatic Structures
- Dr. Lars Olbrich, Research Topic: Aspects of Wardrap Equilibria
Former collegiates
- Dr. Ing. Ibtissem Ben Makhlouf, Research Topic: Erreichbarkeitsanalyse hybrider Systeme
- Dr. rer. nat. Sebastian Biallas, Research Topic: Formal Verification of PLC Programs using Model-Checking and Static Analysis
- Jörg Brauer, Research Topic: Abstract Interpretation of Microcontroller Binary Code
- Dr. Wadimir Fridman, Research Topic: Playing Pushdown Parity Games in a Hurry
- Dr. Florian Horn, Research Topic: Random Games
- Dr. Carsten Kern, Research Topic: Learning Communicating and Nondeterministic Automata
- Uwe Küssel, Research Topic: Modellprädiktive Regelung im Umfeld von Zementherstellung
- George B. Mertzios, Research Topic: Efficient algorithms in subclasses of perfect graphs
- Johanna Nellen, Research Topic: Modular Synthesis and Analysis in Process Control Engineering
- Dr. Martin Neuhäußer, Research Topic: Model checking techniques and tools, Formal semantics of programming languages, Extending model checking techniques to stochastic systems, Stochastic and non-stochastic process algebras
- Dr. Roman Rabinovich, Research Topic: Complexity Measures for Directed Graphs
- Dr. Bernd Puchala, Synthesis of Winning Strategies for Interaction under Partial Information
- Bastian Schlich, Research Topic: Model Checking of Software for Microcontrollers
- Nico Wallmeier, Research Topic: Strategien in unendlichen Spielen mit Liveness-Gewinnbedingungen : Syntheseverfahren, Optimierung und Implementierung