Antonella Santone

Antonella Santone è nata a Montreal (Canada) il 13 Giugno 1969. È professore ordinario per il settore scientifico-disciplinare INF/01 “Informatica” presso l’Università degli Studi del Molise dal primo Settembre 2017. Il 23 Aprile 1993 ha conseguito la Laurea in Scienze dell’Informazione, presso l’Università degli Studi di Pisa. Il 16 Settembre 1997 ha conseguito il titolo di Dottore di Ricerca in Ingegneria Elettronica, Informatica e delle Telecomunicazioni presso il Dipartimento di Ingegneria dell’Informazione dell’Università di Pisa. Dal 27 Novembre 1998 al 31 Ottobre 2001 è stata in servizio, come ricercatore, presso il Dipartimento di Ingegneria dell’Informazione dell’Università di Pisa. Dal primo Novembre 2001 al 31 Agosto 2017 è stata in servizio in qualità di professore associato presso la Facoltà di Ingegneria dell’Università del Sannio. L’attività di ricerca di Antonella Santone si svolge principalmente nell’ambito dei metodi formali per l’analisi e la verifica di sistemi software, con particolare attenzione alle tecniche di model checking. I suoi interessi di ricerca includono tecniche di descrizione formale, logiche temporali, modellazione e analisi di sistemi concorrenti e distribuiti, ricerca euristica, modellazione e analisi di sistemi biologici, metodi formali per la sicurezza e medicina