Roberta Gori

DATI PERSONALI: Nata a Firenze il 14 Marzo 1968. STUDI: Laurea in Scienze dell’Informazione conseguita presso l’Universit`a di Pisa nel 1994. Vincitrice di una borsa di studio di perfezionamento all’estero dell’Universit`a di Pisa nel 1994. DEA (Diplome d’Etudes Approfondies) in Informatique, Mathematiques et Applications presso l’Ecole Normale Superieure de Paris e l’Ecole Polytechnique 1995. Titolo di Dottore di Ricerca in Logica Matematica e Informatica Teorica conseguita presso l'Universita' di Siena nel 1999. ATTIVITA' DI RICERCA: Titolare di Assegno di Ricerca presso l'Universita' di Pisa nel periodo 2000-2005. Ricercatore presso il Dipartimento di Informatica dell'Universita' di Pisa dall'Ottobre 2002. INTERESSI DI RICERCA: Semantica dei linguaggi di programmazione, con particolare attenzio- ne ai linguaggi logici, con diversi tipi di negazione, negazione come fallimento finito, negazione costruttiva. Studio del problema della terminazione nei linguaggi logici. Analisi statica di programmi tramite interpretazione astratta, domini astratti. Verifica di programmi con metodi induttivi. Studio di algoritmi di inferenza di tipi per linguaggi funzionali. Definizione di analisi per la verifica di proprieta' per il Bio Ambient calculus, calcolo introdotto per modellare sistemi biologici. PROGETTI DI RICERCA: Progetto MURST, Automatic Program Certification by Abstract In- terpretation Progetto MURST, Abstract Interpretation, Type Systems and Control- Flow Analysis Progetto co-finanziato MURST and MCYT (Ministero della Scienza e Tecnologia Spagnolo), Advanced Development Environments for Logic Programs Progetto MURST, AIDA, Abstract Interpretation: Design and Appli- cations Progetto PRIN BISCA, Sistemi e calcoli di ispirazione biologica e loro applicazioni.