Sanjit A. Seshia  

I've moved!  I am now on the faculty of the EECS department at UC Berkeley.
You should be automatically redirected to my new homepage in a few seconds.