Folks,

I moved. My new Web page is:

http://theory.stanford.edu/~iliano/

 

Iliano Cervesato (iliano@cs.stanford.edu)