Antonio Cerone obtained his Masters Degree in Information Science in 1989 and his PhD degree in Computer Science in 1993, both at the University of Pisa. Before joining NU he worked at the Goethe University Frankfurt, the University of South Australia, The University of Queensland, the United Nations University and the IMT School for Advanced Studies Lucca. He still holds visiting positions at IMT and the University of Pisa.
Antonio’s research interests focus on the use of formal methods in various application domains: software engineering, human computer interaction, systems biology and ecology.
Human-Oriented Formal Modelling of Human-Computer Interaction: Practitioners’ and Students’ Perspectives.
Refinement Mining: Using Data to Sift Plausible Models.