Research on "Formal Methods in Computing"
index.html
Simona RONCHI DELLA ROCCA
Cariche Accademiche:
Dottorato di Ricerca:
Corsi:
- Fondamenti
di Informatica (corso di laurea triennale in Informatica, indirizzo
Sistemi e Reti,
corso di laurea magistrale in Sistemi per il Trattamento
dell'Informazione,
corso di laurea magistrale in Logica Computazionale)
- Logiche
della Programmazione e Teorie dei Tipi (corso di
laurea magistrale in Metodologie e Sistemi informatici,
corso di laurea magistrale in Logica Computazionale)
|