Teaching

Il ricevimento studenti avviene previo appuntamento da prenotare usando questo servizio. Il ricevimento dell’insegnamento x è sospeso nei tre giorni lavorativi precedenti un appello di x.

A.A. 2021-2022

A.A. 2020-2021

A.A. 2019-2020

A.A. 2018-2019

A.A. 2017-2018

A.A. 2016-2017

A.A. 2015-2016

A.A. 2014-2015

  • MFN0603, Linguaggi Formali e Traduttori, II anno, I semestre, laboratorio
  • MFN1317, Introduzione alla Programmazione, Corsoo di Laurea in Fisica, I anno, II semestre

A.A. 2013-2014

A.A. 2012-2013

A.A. 2011-2012

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