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.
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.