Informatica: Verifica e validazione dei sistemi intelligenti e Ingegneria del Software
Informatica - erogato in modalità prevalentemente a distanza: Verifica e Validazione di Sistemi Intelligenti
Computer Science: Automatic Verification of Intelligent Systems
Gli esami programmati a partire da domani sono posticipati fino a nuovo avviso a causa di lavori di manutenzione in corso nel laboratorio utilizzato come sede d’esame.
Ci scusiamo per il breve preavviso e invitiamo gli studenti a consultare regolarmente il calendario degli esami per eventuali aggiornamenti.
Il docente è comunque tenuto ad aggiornare Infostud e a notificare tutti gli studenti iscritti tramite email.
- Bando 7/2026 - n. 42 borse di collaborazione studenti per attività di tutorato - a.a. 2025/26 :
https://trasparenza.uniroma1.it/page/5/details/20945/bando-726-n42-borse...
- Bando 8/2026 - n. 16 borse di collaborazione studenti per attività di tutorato - a.a. 2025/26 :
https://trasparenza.uniroma1.it/page/5/details/20947/bando-826-n-16-bors...
- Bando 9/2026 - n. 56 Assegni per attività di tutorato - a.a. 2025/26 :
https://trasparenza.uniroma1.it/page/5/details/20935/bando-926-n-56-asse...
Avviso già pubblicato in data 27/11/2025
Calendario esami a.a. 2025–2026 disponibile. I calendari dettagliati saranno pubblicati dopo la conferma delle aule; gli appelli possono già essere aperti su Infostud.
Per informazioni didattiche contattare il docente.
COMPUTER SCIENCE: https://docs.google.com/spreadsheets/d/e/2PACX-1vTjcAe0uLAtKeCzwjfyKBGdE...
Nel caso in cui non riuscissi a prenotarti per un appello nel sistema Infostud, procedi come segue:
Oggetto dell'email: “Appello mancante in Infostud”
Testo dell'email:
Specifica il tuo anno accademico di iscrizione al primo anno,
l'insegnamento
il docente con il quale vuoi prenotare la prova di esame.
Invia la richiesta alla segreteria didattica - segr.didattica@di.uniroma1.it per risolvere il problema.