Biography

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

His research focuses on formal methods and their application to information security, asynchronous hardware, interactive systems, 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:

• complete CV;
• research statements;
• yearly appraisals.