Kaushik Dayal

My webpage is now at
http://www.ce.cmu.edu/~kdayal