Antonella Santone è nata a Montreal (Canada) il 13 Giugno 1969. È professore associato per il settore scientifico-disciplinare ING-INF/05 “Sistemi di Elaborazione delle Informazioni” presso il Dipartimento di Bioscienze e Territorio dell’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 non confermato, 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. E’ stata nominata Presidente del Corso di Laurea Specialistica in Ingegneria Informatica per il triennio 2005/2008 e per il triennio 2008/2011. E’ stata nominata Presidente del Corso di Laurea Magistrale in Ingegneria Informatica per il triennio 2010/2013. E’ stata nominata Presidente del Corso di Laurea Triennale in Ingegneria Informatica per lo scorcio del triennio accademico 2010/2013. E’ stata Presidente del gruppo di autovalutazione del Progetto CampusOne, per il Corso di Laurea in Ingegneria Informatica dell’Università del Sannio. E’ stata membro della commissione Socrates/Erasmus della Facoltà di Ingegneria dell’Università del Sannio, per il triennio accademico 2006/2009. E’ stata Presidente della “Commissione di Facoltà per i servizi di orientamento in itinere” della Facoltà di Ingegneria dell’Università del Sannio, per il triennio accademico 2009/2012. 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.