Antonella Santone was born in Montreal (Canada) on June 13, 1969. She is an associate professor at the Department of Engineering of the University of Sannio, Benevento since November 2001. 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 Department of Information Engineering, Pisa. She has been an assistant professor at the University of Pisa from November 1998 till October 2001. She was involved in several research activities and projects. Antonella Santone's current research is focused on the application of formal verification methods, with particular emphasis on model checking techniques. Her research interests include formal description techniques, temporal logic, concurrent and distributed systems modeling, heuristic search, formal methods for systems biology and for security engineering.