D
IPARTIMENTO DI
I
NFORMATICA
Università di Torino
Research on "Formal Methods in Computing"
index.html
Simona RONCHI DELLA ROCCA
Compiti organizzativi
:
Presidente della Scuola Universitaria Interfacolta di
Scienze Strategiche (S.U.I.S.S.)
Membro della Giunta del
Dipartimento di Informatica
Attivitą didattica:
Complementi di Logica
(Corso di Laurea Magistrale in INFORMATICA, classe ML18, indirizzo METODI E MODELLI PER L'INFORMATICA)
Metodi Formali dell'informatica II
(Corso di Laurea Magistrale in INFORMATICA, classe ML18, indirizzo METODI E MODELLI PER L'INFORMATICA)