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. 2022-2023

  • ST0851, Programmazione, Corso di Laurea in Informatica, I anno, I semestre
  • ST1419, Metodologie di Programmazione, Corso di Laurea in Informatica, II anno, II semestre
  • ST1448, Static Analysis and Program Verification, Master Degree in Computer Science, I year, I semester

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 Division of the School of Science and Technology of the University of Camerino. ¶ My research interests span both theory and practice in the areas of programming languages, type systems, concurrency theory, distributed computing and formal verification.

Contact Information

Public Profiles