Graduated in Computer Engineering, old system, specialization in computer systems and applications, at the University of Catania, with 110/110 cum laude, on 20 July 1998.
In 1998 he obtained the qualification to practice the free profession and enrolled in the register of the Order of Engineers of the province of Catania, from which he was awarded a certificate of merit for the experimental and innovative nature of the thesis.
In 1998 he obtained a certificate of knowledge of the English language, advanced / D1 level, at the equivalent International English School "London School of English" in London.
Since September 2001 he has held the chair for the s.s.d. A042 (computer science) in the second level state secondary school.
From 1999 to 2020 he carried out scientific activity, on various topics all related to the field of information technology. The research areas developed between 1999 and 2006 were those relating to distributed systems, which are the basis for the development of new telematic technologies.
In particular: from September 1999 to September 2001 he carried out research activities as a PhD student at the Department of Computer Science and Telecommunications Engineering (now DIEEI) of the University of Catania, tutored by prof. Lorenzo Life. On 22 January 2002 he obtained the title of PhD in Computer Science, Electronics and Telecommunications, XIVth cycle, at the University of Palermo, discussing a thesis entitled "A scalable streaming video architecture for mobile & wireless Internet".
From 2002 to 2004 he was a research fellow at the DIIT (now DIEEI) of the University of Catania, under the responsibility of prof. Lorenzo Vita, with the research program "Architectures and Systems for the integration of digital multimedia services in distance learning networks";
In the period from 2007 to 2015 he began to collaborate actively with prof. Angelo Gargantini of the University of Bergamo and with prof. Emiliano Tramontana and Giuseppe Pappalardo of the University of Catania, focusing his research interests first on combinatorial testing and then in general on formal and semi-formal methods for modelling, specifying and verifying sequential and concurrent software.
From 2007 to 2010 he was twice a research fellow at the DIIT (now DIEEI) of the University of Catania, under the responsibility of prof. Lorenzo Vita, carrying out two research programs in succession: "Applications of languages, logic and formal methods to the automatic verification and testing of component-based software systems" and "Software engineering for service-oriented architectures".
From 2012 to 2014 he was a research fellow at the DMI of the University of Catania, under the responsibility of prof. Emiliano Tramontana, with the research program "Techniques for verifying the correct functioning of the Java card virtual machine", s.s.d 1/B1 scientific director prof. Emiliano Tramontana.
From 2015 to 2019 serious family difficulties slowed down but did not interrupt the scientific collaboration activity with the DMI of the University of Catania, for which it however continued to carry out contract research and development in the context of the co-financed projects called JACOS and CLARA, under the scientific responsibility of prof. Emiliano Tramontana.
From 2000 to 2004 he participated with profit in various International Schools for Researchers, and in particular:
International School for PhD Students of Computer Engineering, organized by the Computer Engineering Group (GII) - Villa Gualino, Turin (December 2000);
13th Lipari International School for Computer Science Researchers: “Foundations of Wide Area network Programming” (July 2001);
International Summer School on Wireless Internet, University of Helsinki - European Virtual Center (EVC-Win), Helsinki (FI) (June 2002);
16th Lipari International School for Computer Science Researchers: “Wireless Computing and Sensor Networks” (July 2004);
17th Lipari International School for Computer Science Researchers: “Theory and Practice of Formal Methods” (July 2005).
In the academic years from 1998 to 2010 he carried out teaching activities in universities relating to the following disciplines of the IT sector, in particular in the following curricular courses:
"Fundamentals of Computer Science" old system degree in Computer Engineering,
“Software Engineering”, three-year degree in Computer Engineering
“Software Engineering”, three-year degree in Telematics
"Object Modeling with UML", "Network Programming", "Object Oriented Programming", "Security of information systems", within the University Master in "Information and Communication Technology" of the University of Catania
"Informatics, Internet and Multimedia" in the three-year degree course in Languages, University of Catania
From 1998 to 2010 he carried out without interruption very large cycles of free seminars on behalf of prof. Lorenzo Vita as part of the courses:
"Software Engineering", degree v.o. in Computer Engineering and Bachelor's degree in Computer Engineering;
"Software Engineering II" specialist degree in Computer Engineering
free seminars in the course of "distributed systems" by prof. Giuseppe Pappalardo, at the DMI of the University of Catania.
Supervision of thesis and internships
From 1999 to 2014 he was co-supervisor of about ten specialist degree theses in computer engineering (v.o.) and computer science, tutor of two PhD students in computer science and telecommunications engineering of the seventeenth cycle and university didactic co-tutor for the company internship for students of the three-year degree course in computer engineering from 2004 to 2007.
From 1999 to 2019 he participated in numerous international and national research projects, admitted to funding on the basis of competitive tenders with peer review, contributing for the Catania UdR to the following projects (list from CINECA):
POR-FESR PRIME Project - Integrated, Multimedia, Expert Reasoning Platform: participation in the research activity.
ministerial research project SCN_00451, CLARA - CLoud plAtform and smart underground imaging for natural Risk Assessment. participation in the proposal and in the research activity.
EU-IST research project within the Fifth Framework Program, "VESPER:Virtual Home Environment for Service Personalization and Roaming User"; participation in the proposal and in the research
EU-IST research project within the 6th Framework Program, NEWCOM: "Network Of Excellence in Wireless Communications, Mobile and Wireless Systems Beyond 3G"; participation in the research
MIUR project, Multicampus-CT "Distributed system for the development and dissemination of multimedia material for distance learning"; participation in research
MURST project "MOSAIC: Methodologies and Design Tools for High Performance Systems for Distributed Applications"; participation in the research activity.
Furthermore, from 2003 to 2004 he was responsible for the ICT services and infrastructures of the MEDSPIN consortium (between Sviluppo Italia Sicilia, the then Department of Computer Engineering and the Faculty of Economics of the University of Catania) for the implementation of the SPINLAB project, funded by the Ministry of Productive Activities MAP, for the incentive of university spin-offs.
He has contributed as a speaker to the following international scientific events:
ICST 2014 IEEE International Conference on Software Testing - Cleveland (OH)
WETICE 2014 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises - Parma, IT
COMPSAC 2013 IEEE Conference on Computers, Software and Applications - Kyoto, Japan
ICST 2013 IEEE International Conference on Software Testing - Luxembourg, Luxembourg
WETICE IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises - 2013 Hammamet, Tunisia
ICST 2009 IEEE Intenrational Conference on Software Testing - Denver (CO)
TAP 2009 International Conference on Tests and Proofs - Zurich, Switzerland
WETICE 2009 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises - Groningen, Netherlands
CAV 2008 International conference on Computer Aided Verification - Princeton (NJ)
TAP 2008 International Conference on Tests and Proofs - Prato, IT
DMS 2004 International Conference on Distributed Multimedia Systems - San Francisco (CA)
He is member of the organizing committee of the international conference IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) from 2013 to present, without interruption.
Program Committee Member of ACM International Conference, SAC in 2013. Program Committee Member of Eclipse-IT National Conference in 2009.
Since 2012 he has been peer reviewer for about thirty papers submitted to high-profile international journals, including in particular IEEE Transactions on Software Engineering, ACM Transactions on Software Engineering and Methodology, Wiley Journal of Systems and Software.
For two papers presented at the conference he received the best paper award, in 2004 and 2009 (CCCT 2004 and WETICE 2009).
He is the author of 36 international scientific publications indexed on Scopus with 345 total citations (646 on Google Scholar) and h-index equal to 10 (12 on Scholar), of which 7 journal articles, 4 articles on book series, 1 chapter on a book title, and 24 of conference proceedings.