PAOLO ZULIANI
Structure:
Dipartimento di INFORMATICA
SSD:
INFO-01/A
Profilo Research

Notizie

Sistemi Operativi II Modulo (canale A-L e Unitelma)

Appello straordinario:

  • 31/10/2025: ore 12:00, laboratorio Colossus, via Salaria 113, Roma.

 

Formal Methods for AI-based Systems Engineering

 

Orari di ricevimento

Su appuntamento.

Curriculum

Before coming to Rome, I spent 10.5 years at the School of Computing, Newcastle University (UK)

Before coming to Newcastle, I worked for four years with Edmund M. Clarke at Carnegie Mellon University (USA) on model checking

DPhil, Computer Science, University of Oxford (UK)

Laurea, Computer Science, Università degli Studi di Milano (Italy)

Insegnamenti

Codice insegnamentoInsegnamentoAnnoSemestreLingua CorsoCodice corsoCurriculum
10620565QUANTUM COMPUTING1º1ºENGComputer Science - Informatica33508Curriculum unico
10607006FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING1º2ºENGComputer Science - Informatica33508Curriculum unico
1020422SISTEMI OPERATIVI - II MODULO2º2ºITAInformatica33503Tecnologico
10607006FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING1º2ºENGComputer Science - Informatica33508Curriculum unico
10620565QUANTUM COMPUTING1º1ºENGComputer Science - Informatica33508Curriculum unico
1020422SISTEMI OPERATIVI - II MODULO2º2ºITAInformatica33503Metodologico
10607006FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING2º2ºENGComputer Science - Informatica33508Curriculum unico
10607006FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING2º2ºENGComputer Science - Informatica33508Curriculum unico
1020422SISTEMI OPERATIVI - I MODULO2º2ºITAInformatica - erogato in modalità prevalentemente a distanza33504Curriculum unico