My page has been moved to http://www.mpi-sws.org/~mdoko/. Your browser should have redirected you.