Technische Universität München
Institut für Informatik
Dr. Markus (Makarius) Wenzel
Moved to
LRI
(Paris Sud)
