Moved!

I recently started as an assistant professor, at the Ohio State University.

Please visit http://www.cse.ohio-state.edu/~whmin instead.