I'm associate professor at the Computer Science Department of the University of Torino and member of the FORMS research group. My research aims at improving the productivity of developers and the quality of software through formal methods. I'm mainly interested in programming languages, type systems and concurrency theory.
Il ricevimento studenti avviene il lunedì dalle 13:00 alle 14:00 (nei periodi di lezione) oppure su appuntamento.
Hypha: deadlock- and lock-freedom analysis in the linear π-calculus.