Research on "Formal Methods in Computing"

Ivano SALVO Short Term Researcher Dipartimento di Informatica, Università di Torino, Corso Svizzera 185, I-10149 Torino, Italy Phone: +39 011 670 67 96 Fax: +39 011 751603 E-mail: salvo@di.unito.it

Founder Member and Treasurer (1998-2000) of the Italian PhD Association ADI

RESEARCH:

• Interests
  • Ambient Calculus and Formal Methods for Wide Area Network
  • Type Theory
  • Lambda Calculus and Rewriting Systems
  • Object Oriented Languages
• Publications