Site Map Navigation Internal Restricted Login
Antonio Cerone's Website
Home Family Interests Research Training
Welcome >> Home
My Photo
LOCAL LINKS
Home
Biography
Contact
Job Description
Professional Activities
Mission Trips
Useful Tools
Fun

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

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:





BACK TO TOP
Created: Fri Jul 29 10:22:17 CST 2005 Feedback
Updated: Tue Dec 27 08:30:51 CST 2005