Antonella Santone
Associate Professor (SSD ING-INF/05)
Department of Engineering, University of Sannio, Italy

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.


Link to publications


Department of Engineering, University of Sannio

RCOST - Ex Post Office Building, Via Traiano 1

I-82100 Benevento (Italy)

phone: +39 0824 305552

e-mail: santone 4t unisannio d0t it