Michael Hortmann

http://www.informatik.uni-bremen.de/~michaelh