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.
CobaltBlue is a tool for the static behavioral analysis of Objective Join-Calculus scripts. The tool checks that concurrent objects and actors (modelled as terms in the Objective Join-Calculus) are consistent with – and are used according to – their protocol.
FuSe is a simple OCaml implementation of binary sessions that supports delegation, equi-recursive, polymorphic, context-free session types, session subtyping, and allows the OCaml compiler to perform session type checking and inference.
Hypha is a tool for the type-based analysis of processes that communicate on linear channels.