Software

About Me

I'm an associate professor in Computer Science at the Computer Science Department of the University of Torino. ¶ My research interests lie in the areas of programming languages, type systems and concurrency theory. ¶ I'm the contact person of the FORMS research group on Formal Methods for Software Development.

Contact Information

Public Profiles