Monica Nesi

Research Activity

Her research interests include protocol verification, term rewriting, theorem proving, verification of concurrent systems.
You can have a look at some of her publications.

Conferences
The 2nd International Workshop on Security and Rewriting Techniques SecReT'07 (Friday, June 29, 2007),
a satellite event of the RDP'07 conference (June 25-29, 2007, Paris).
The 3rd International Workshop on Security and Rewriting Techniques SecReT'08 (Sunday, June 22, 2008, CMU, Pittsburgh, USA),
an affiliated workshop of the 21st IEEE CSF symposium (June 23-25, 2008, Carnegie Mellon University, Pittsburgh, USA),
co-located with the 23rd Annual IEEE LICS symposium (June 24-27, 2008).

Teaching/Attività Didattica (in Italiano)

Orario di Ricevimento: (orario provvisorio *modificato*)
Martedí (ore 9.30-11.30) presso la Facoltà di Scienze MM.FF.NN., edificio Coppito II, stanza A1-17.

Avvisi

23/02/2009
Sono disponibili i risultati della prova totale del 16 Febbraio 2009 di Informatica (CdL in Matematica).
La discussione delle prove scritte e le eventuali prove orali avranno inizio Lunedí 23 Febbraio 2009, ore 10.30 presso l'ufficio della docente.

20/02/2009
Sono disponibili i risultati della prova conclusiva del 16 Febbraio 2009 di Informatica (CdL in Matematica).
La discussione delle prove scritte e le eventuali prove orali avranno inizio Lunedí 23 Febbraio 2009, ore 10.00 presso l'ufficio della docente.

19/02/2009
Sono disponibili i risultati della prova conclusiva e della prova totale del 16 Febbraio 2009 del Modulo di Laboratorio di Programmazione I (CdL in Informatica).
La discussione delle prove scritte e le eventuali prove orali avranno inizio Venerdí 20 Febbraio 2009, ore 9.30, aula 2.5.

22/12/2008
Corso disattivato di Laboratorio di Informatica (3 cfu) - Modalità di esame modificata
Si avvisa gli studenti della Laurea Base in Informatica che ancora devono sostenere l'esame relativo all'insegnamento disattivato di Laboratorio di Informatica (3 cfu, codice F1I004), che a partire dalla sessione di esami di gennaio-febbraio 2009 la modalità di esame verrà modificata e consisterà solo in una prova orale. Gli argomenti della prova di esame rimangono inalterati. Per eventuali informazioni si prega di rivolgersi alla docente responsabile, Prof.ssa Nesi.