 |
|
Master Programme Software Systems Engineering | ||
|---|---|---|---|
|
|||
| Prof. Dr. Erika Ábrahám | Theory of Hybrid Systems |
|---|---|
| Prof. Dr. J. Giesl | Programming Languages and Verification |
| Prof. Dr. E. Grädel | Logic and Complexity Theory |
| Prof. Dr. Ir. Joost-Pieter Katoen | Software Modeling and Verification |
| Prof. Dr. P. Rossmanith | Theoretical Computer Science |
| Prof. Dr. W. Thomas | Logic and Theory of Discrete Systems |
| Prof. B. Vöcking | Algorithms and Complexity |
| Dr. Matthias Westermann | Flexible Online Algorithms |
| Holger Janßen / Ralf Klamma / Patrick Selders last modified: 08.12.2008 |
 |