Follow us
Search

Gianluca CINCOTTI

Assistant Professor of Informatics [INFO-01/A]

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.

VIEW THE PUBLICATIONS
N.B. the number of publications can affect the loading time of the information
VIEW COURSES FROM A.Y. 2022/2023 TO PRESENT

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.