Gianluca CINCOTTI
Gianluca Cincotti, graduate in Computer Sciences, is a researcher at the Department of Mathematics and Computer Science at University of Catania, where he teaches the course Programming I and laboratory. He has also taught in humanistic sectors and occasionally in professional training courses. He is the author of scientific publications in international journals in the field of algorithms and computational logic.
Academic Year 2021/2022
- DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Bachelor's Degree in Mathematics - 1st Year
COMPUTER SCIENCE 1
Academic Year 2020/2021
- DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Bachelor's Degree in Mathematics - 1st Year
COMPUTER SCIENCE 1
Academic Year 2019/2020
- DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Bachelor's Degree in Mathematics - 1st Year
COMPUTER SCIENCE 1
Academic Year 2018/2019
- DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Bachelor's Degree in Computer Science - 1st Year
PROGRAMMAZIONE I E LABORATORIO A - L
Academic Year 2017/2018
- DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Bachelor's Degree in Computer Science - 1st Year
PROGRAMMING 1 A - L
Academic Year 2016/2017
- DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Bachelor's Degree in Computer Science - 1st Year
PROGRAMMING 1 A - L
Academic Year 2015/2016
- DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Bachelor's Degree in Computer Science - 1st Year
PROGRAMMING 1 M - Z
The scientific activity has focused mainly on two fronts: the theory of
decidability and the algorithms and data structures.
The activity of study and research focused on the field of theory of decidability with applications to
automatic demonstration systems, is oriented in defining and proving decidable theories whose languages
provide predicates expressing significant properties to theories themselves. In particular,
fragments of theory on real analysis and fragments of graph theory are considered.
In the field of algorithms, in-place sorting algorithms and approximation algorithms have been developed.