Afferenza

Ricevimento e Altre Informazioni

Su appuntamento: matteo.camilli@unimi.it

A. A. 2019 / 2020
Primo Semestre
SSD: INF/01
CFU: 6
Dipartimento: Dipartimento di Scienze e Innovazione Tecnologica
A. A. 2016 / 2017
Primo Semestre
SSD: I
CFU: 6
Dipartimento: Dipartimento di Scienze e Innovazione Tecnologica
A. A. 2017 / 2018
Primo Semestre
SSD: I
CFU: 6
Dipartimento: Dipartimento di Scienze e Innovazione Tecnologica
A. A. 2018 / 2019
Primo Semestre
SSD: I
CFU: 6
Dipartimento: Dipartimento di Scienze e Innovazione Tecnologica

Ricerca

Software Engineeringformal methods, formal Verification with particular focus on methods and tools to improve dependability of time-dependent, adaptable and evolvable applications.