Foto del docente

Luca Padovani

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INFO-01/A Informatica

Temi di ricerca

Parole chiave: Sistemi di tipo Tipi comportamentali Sistemi concorrenti e distribuiti Algebre di processi Verifica formale del software