My webpage has moved to https://people.mpi-inf.mpg.de/~anghosh/