italiano | contact
 
 
 
 
 
 
 
 

Monica Nesi

Associate Professor



Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica
Via Vetoio - I-67100 L'Aquila (Italy)

Email: monica@di.univaq.it

General

Monica Nesi is a member of the Dipartimento di Informatica of the Università degli Studi di L'Aquila.

 

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)

Sono disponibili informazioni e materiale didattico relativi ai corsi insegnati negli ultimi anni accademici (A.A. 2007-08, A.A. 2006-07, A.A. 2005-06, A.A. 2004-05, A.A. 2003-04, A.A. 2002-03, A.A. 2001-02).

 

Orario di Ricevimento: (orario provvisorio)

Martedí (ore 10.00-12.00) presso la Facoltà di Scienze MM.FF.NN., edificio Coppito II, stanza A1-17.

Avvisi

Risultati della prova scritta di Metodi Formali dell'Informatica del 28 novembre 2008:

matr. 169097 voto 19
matr. 176322 voto 21

Discussione della prova scritta ed inizio esami orali:

Lunedí 1 dicembre 2008 alle ore 10.30 presso l'ufficio della Prof.ssa Nesi o su appuntamento con i docenti.

Sono disponibili i risultati della prova scritta del 28 Novembre 2008 del modulo di Laboratorio di Programmazione I e di Laboratorio di Informatica (3 cfu).

 
 
 
 

Organization

Head of the department is Prof. Claudio Arbib (since March 1, 2008). The ...

continua ›
 
 
 
 

Publications

Numerous articles published in international scientific journals, books, and ...

continua ›
 
 
 
 

Job Postings

Consulta le offerte di lavoro pervenute dalle aziende, potrai entrare in ...

continua ›