University Of Pretoria Computer Science Department

GUEST LECTURE BY ANTONIO CERONE ON FORMAL METHODS FOR HCI

Posted by Mr Leon Van Dyk on 22 Aug 2011, 11:31 (last modified on 16 Sep 2011, 08:18)

Dr. Antonio Cerone is a Research Fellow at UNU-IIST since 2004. He has obtained his Masters Degree and his PhD Degree in Computer Science respectively in 1989 and 1993, both from the University of Pisa, Italy. Before joining UNU-IIST, he has been working at the Goethe University of Frankfurt, Germany, and at the University of South Australia and The University of Queensland, Australia. His research interests include formal methods and their applications to software engineering, human-computer interaction and algorithmic systems biology, education and e-Learning, analysis of the open source software development process and modelling and analysis for sustainable development. Antonio Cerone is the leader of UNU-IIST programme on Strategies and Technologies for Education, the coordinator of the UNU-IIST PhD Programme, UNU-IIST Focal Point in the UNU Graduate Programme Working Group and Member of the Core Group on UNU Graduate Programmes. He is also a Steering Committee Member and co-founder of the International Conference on Software Engineering and Formal Methods (SEFM) and of the International Workshop on Foundation and Techniques for Open Source Software Certification (OpenCert).

Images

Additional News

All content copyright © Department of Computer Science, School of IT, University of Pretoria, South Africa