PAOLO ZULIANI
Email:
paolo.zuliani@uniroma1.it
Structure:
Dipartimento di INFORMATICA
SSD:
INFO-01/A
Notizie
Quantum Computing
Next exam:
- 26/01/2026: Aula RE 1, Building A, viale Regina Elena 295, Roma.
Sistemi Operativi II Modulo (canale A-L e Unitelma)
Prossimo appello:
- 12/01/2026: ore 11:00, laboratorio Colossus, via Salaria 113, Roma.
Formal Methods for AI-based Systems Engineering
Orari di ricevimento
Su appuntamento.
Insegnamenti
| Codice insegnamento | Insegnamento | Anno | Semestre | Lingua | Corso | Codice corso | Curriculum |
|---|---|---|---|---|---|---|---|
| 10607006 | FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING | 2º | 2º | ENG | Computer Science - Informatica | 33508 | Curriculum unico |
| 10620565 | QUANTUM COMPUTING | 1º | 1º | ENG | Computer Science - Informatica | 33508 | Curriculum unico |
| 10607006 | FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING | 2º | 2º | ENG | Computer Science - Informatica | 33508 | Curriculum unico |
| 1020422 | SISTEMI OPERATIVI - II MODULO | 2º | 2º | ITA | Informatica | 33503 | Metodologico |
| 10620565 | QUANTUM COMPUTING | 1º | 1º | ENG | Computer Science - Informatica | 33508 | Curriculum unico |
| 10607006 | FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING | 1º | 2º | ENG | Computer Science - Informatica | 33508 | Curriculum unico |
| 1020422 | SISTEMI OPERATIVI - II MODULO | 2º | 2º | ITA | Informatica | 33503 | Tecnologico |
| 10607006 | FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING | 1º | 2º | ENG | Computer Science - Informatica | 33508 | Curriculum unico |