photo-antonio-cerone

Antonio Cerone, PhD


Department: Computer Science
Degree:
Position: Associate Professor
Email: antonio.cerone@nu.edu.kz
Office: 7e.422
Phone: +7 (7172) 709084

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.


RESEARCH INTEREST

Antonio’s research interests focus on the use of formal methods in various application domains: software engineering, human computer interaction, systems biology and ecology.

Further research areas include:
– cognitive science;
– process mining and conformance analysis;
– analysis of Free/Libre Open Source Software (FLOSS) communities and development;
– collaborative learning.
 

RECENT PUBLICATIONS
A. Cerone.

Human-Oriented Formal Modelling of Human-Computer Interaction: Practitioners’ and Students’ Perspectives.

Software Technologies: Applications and Foundations (STAF 2016 Collocated Workshops: HOFM),
Vol. 9946 of Lecture Notes in Computer Science, Springer, 2016, pages 232-241.
 
A. Cerone.

Refinement Mining: Using Data to Sift Plausible Models.

Software Technologies: Applications and Foundations (STAF 2016 Collocated Workshops: DataMod),
Vol. 9946 of Lecture Notes in Computer Science, Springer, 2016, pages 26-41.
 
A. Cerone.
A Cognitive Framework Based on Rewriting Logic for the Analysis of Interactive Systems.
Software Engineering and Formal Methods (SEFM 2016),
Vol. 9763 of Lecture Notes in Computer Science, Springer, 2016, pages 287-303.
 
F. Shams, P. Capodieci, A. Cerone, R. Fantacci, D. Marabissi, G. Mariotta, P. Sciuto and Rocco De Nicola.
Integration of Heterogeneous Information Sources for an Effective Emergency Management.
Int. J. of Emergency Management, 12(1), pages 70-94, Inderscience, 2016.
 
S. Sameen, R. Barbuti, P. Milazzo, A. Cerone, M. Del Re and R. Danesi.
Mathematical Modelling of Drug Resistance Due to KRAS Mutation in Colorectal Cancer.
Journal of Theoretical Biology, 389, pages 263-273,  Elsevier, 2016.
 
A. Cerone.
Process Mining as a Modelling Tool: Beyond the Domain of Business Process Management.
Software Engineering and Formal Methods (SEFM 2015 Collocated Workshops: MoKMaSD),
Vol. 9509 of Lecture Notes in Computer Science, Springer, 2015, pages 139-144.
 
F. Shams, A. Cerone and R. De Nicola.
On Integrating Social and Sensor Networks for Emergency Management.
Software Engineering and Formal Methods (SEFM 2015 Collocated Workshops: MoKMaSD),
Vol. 9509 of Lecture Notes in Computer Science, Springer, 2015, pages 145-160.
 
S. Setiawan, A. Cerone and P. Milazzo.
A Tool for the Modelling and Simulation of Ecological Systems Based on Grid Systems.
Software Engineering and Formal Methods (SEFM 2015 Collocated Workshops: MoKMaSD),
Vol. 9509 of Lecture Notes in Computer Science, Springer, 2015, pages 198-212.
 
P. Mukala, A. Cerone and F. Turini.
Mining Learning Processes from FLOSS Mailing Archives.
Open and Big Data Management and Innovation,
Vol. 9373 of IFIP Lecture Notes in Computer Science, Springer, 2015, pages 287-298.