Temi di Ricerca

1. Metodi formali per la specifica e la verifica di sistemi complessi
2. Teoria della riscrittura di termini, strategie di riscrittura, theorem proving.

Monica Nesi ha conseguito la Laurea in Scienze dell’Informazione nel 1988 presso l’Università degli Studi di Pisa ed il Ph.D. in Computer Science nel 1997 presso l’Università di Cambridge (UK). Nel 1995 è ricercatore in Informatica e nel 2001 professore associato in Informatica all’Università degli Studi di L’Aquila, attualmente presso il Dipartimento di Ingegneria e Scienze dell’Informazione e Matematica (DISIM). Ha pubblicato articoli su riviste e atti di conferenze internazionali nelle sue aree di ricerca ed è stata rewiever per molte conferenze e riviste e membro di comitati di programma di conferenze e workshop internazionali.