PAOLO ZULIANI
Email:
paolo.zuliani@uniroma1.it
Structure:
Dipartimento di INFORMATICA
SSD:
INFO-01/A
Notizie
Quantum Computing
Next exam (extra):
- 10/04/2026: 9:00, Aula T1 (building E), viale Regina Elena 295, Roma.
Sistemi Operativi II Modulo (canale A-L e Unitelma)
Prossimo appello (straordinario):
- 09/04/2026: ore 11:00, laboratorio Colossus, via Salaria 113, Roma.
Formal Methods for AI-based Systems Engineering
Exam on request
Orari di ricevimento
Su appuntamento.
Insegnamenti
| Codice insegnamento | Insegnamento | Anno | Semestre | Lingua | Corso | Codice corso | Curriculum |
|---|---|---|---|---|---|---|---|
| 10620565 | QUANTUM COMPUTING | 1º | 1º | 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 | 1º | 2º | 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 | Metodologico |
| 10607006 | FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING | 2º | 2º | 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 | Tecnologico |