Biography

Antonio Cerone joined the International Institute for Software Technology (IIST) of the United Nations University (UNU) in February 2004.

His research focuses on education and e-learning as well as on formal methods and their application to interactive systems, system biology, information security, asynchronous hardware, concurrent and real-time systems, and safety-critical systems.

Before joining the UNU-IIST, Antonio held research positions at

• the Software Verification Research Centre (SVRC), merged in 2003 into the School of Information Technology and Electrical Engineering (ITEE) of the University of Queensland (UQ), Australia;
• the Advanced Computing Research Centre (ACRC) of the University of South Australia (UniSA), Australia;
• the University of Frankfurt, Germany.

Antonio completed his PhD in 1993 and his Master's degree in 1989, both at the University of Pisa, Italy.

More detailed information is accessible via username and password in the restricted area:

• CV;
• electronic portfolio;
• research statements;
• yearly appraisals.