Research on "Formal Methods in Computing"

Simona RONCHI DELLA ROCCA

• Presidente della Scuola Universitaria Interfacolta di Scienze Strategiche (S.U.I.S.S.)

• Membro della Giunta del Dipartimento di Informatica

• 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)