Attività Didattica
Orario di ricevimento
Giovedì ore 11,00 oppure per prenotazione via e-mail
Avvisi
Nessun avviso
Materiali didattici
https://elearning.di.uniba.it/
Corsi attribuiti
Calcolabilità e complessità (secondo anno Triennale informatica. Corso A e B)
Formal Methods in Computer Science (Magistrale Computer Science)
Programma didattico
http://www.uniba.it/ricerca/dipartimenti/informatica/didattica/corsi-di-laurea/informatica-270/laurea-triennale-in-informatica-d.m.-270-1
http://www.uniba.it/ricerca/dipartimenti/informatica/didattica/corsi-di-laurea/computer-science/study-programmes-2017-2018/insegnamenti-ricevimento-programmi-a.a.-2015-16