- Docente: Cosimo Laneve
- Crediti formativi: 6
- SSD: INF/01
- Lingua di insegnamento: Italiano
- Modalità didattica: Convenzionale - Lezioni in presenza
- Campus: Bologna
-
Corso:
Laurea Magistrale in
Informatica (cod. 8028)
Valido anche per Laurea Magistrale in Informatica (cod. 8028)
Conoscenze e abilità da conseguire
Al termine del corso, lo studente conosce le tecnologie formali per garantire proprietà di correttezza di programmi commerciali o presenti nei compilatori per ottimizzare i codici. In particolare, sa applicare le tecniche studiate a casi di studio.
Metodi didattici
Lezioni frontali, laboratorio.
Modalità di verifica e valutazione dell'apprendimento
Prova scritta e/o progetto.
Strumenti a supporto della didattica
Proiettore, lavagna, computer, laboratorio.
Orario di ricevimento
Consulta il sito web di Cosimo Laneve