PAOLO ZULIANI
Email:
paolo.zuliani@uniroma1.it
Structure:
Dipartimento di INFORMATICA
SSD:
INFO-01/A
News
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
Receiving hours
Su appuntamento.
Lessons
| Lesson code | Lesson | Year | Semester | Language | Course | Course code | Curriculum |
|---|---|---|---|---|---|---|---|
| 10607006 | FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING | 2nd | 2nd | ENG | Computer Science | 33508 | Curriculum unico |
| 10620565 | QUANTUM COMPUTING | 1st | 1st | ENG | Computer Science | 33508 | Curriculum unico |
| 10607006 | FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING | 2nd | 2nd | ENG | Computer Science | 33508 | Curriculum unico |
| 1020422 | SISTEMI OPERATIVI - II MODULO | 2nd | 2nd | ITA | Computer Science | 33503 | Metodologico |
| 10620565 | QUANTUM COMPUTING | 1st | 1st | ENG | Computer Science | 33508 | Curriculum unico |
| 10607006 | FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING | 1st | 2nd | ENG | Computer Science | 33508 | Curriculum unico |
| 1020422 | SISTEMI OPERATIVI - II MODULO | 2nd | 2nd | ITA | Computer Science | 33503 | Tecnologico |
| 10607006 | FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING | 1st | 2nd | ENG | Computer Science | 33508 | Curriculum unico |