Antonio Cerone received his Laurea degree in information science in 1989 and his Ph.D. degree in computer science in 1993, both from the University of Pisa, Italy. After holding research positions in Germany and Australia, since 2004 he is Research Fellow at the UNU International Institute for Software Technology (IIST). His research focuses on education and e-learning as well as on formal methods and their application to interactive systems, system biology, ecosystems, information security, asynchronous hardware, concurrent and real-time systems, and safety-critical systems.
Antonio is the leader of the UNU-IIST Programme on ”Strategies and Technologies for Education” and coordinates the UNU-IIST Postgraduate Programme. He is the Chair of the Steering Committee of the IEEE International Conference on Software Engineering and Formal Methods (SEFM). He is a member of Formal Methods Europe (FME) and the European Association for Software Science and Technology (EASST). He is also Editorial Board Member of Electronic Communications of the EASST (ECEASST).