This webpage has moved. Miroslav Dudik's webpage is now at [http://www.cs.cmu.edu/~mdudik/].