Robert Hofer
Email hofer@informatik.uni-muenchen.de
Homepage http://www.informatik.uni-muenchen.de/~hofer