Antonella Santone was born in Montreal (Canada) on June 13, 1969. She is an Associate Professor at the University of Molise since September 2017. She received the Laurea degree in Computer Science at the University of Pisa, Italy, in April 1993. In September 1997 she received the Ph.D. degree in Computer Systems Engineering at the Dipartimento di Ingegneria della Informazione, University of Pisa. She has been Assistant Professor at the University of Pisa from November 1998 to October 2001. She has been an Associate Professor at the Department of Engineering of the University of Sannio from November 2001 to August 2017. She has been President of the Didactical Committee of the master's degree in Computer Science Engineering, University of Sannio, from the academic year 2005/2006 to the academic year 2013/2014. She has been President of the Didactical Committee of the degree in Computer Science Engineering, University of Sannio, from the academic year 2011/2012 to the academic year 2013/2014. She has been President of the CampusOne Project. From 2006 to 2009 she has been a member of the Socrates/Erasmus Committee of the Faculty of Engineering, University of Sannio. From 2009 to 2012 she has been President of the Orientation Committee of the Faculty of Engineering, University of Sannio. She was involved in several research activities and projects. Antonella Santone's current research is focused on formal verification methods. Her research interests include formal description techniques, temporal logic, concurrent and distributed systems modelling, heuristic search, formal methods in systems biology and in security engineering. She has written almost one hundred papers for international journals and conferences.