معرفی
Gianluca Cincotti serves as an Assistant Professor of Informatics [INFO-01/A] at the Department of Mathematics and Computer Science, University of Catania. He maintains regular office hours on Tuesdays and Thursdays from 10:00 to 11:00 in Block III, Room 53 of the Mathematics and Computer Science Department building.
His primary research focuses on two major areas: decidability theory and algorithms and data structures. In decidability theory, his work centers on defining and proving decidable theories with applications to automatic demonstration systems, particularly examining fragments of real analysis and graph theory. His algorithmic research includes developing in-place sorting algorithms and approximation algorithms. He has authored scientific publications in international journals within these specialized fields.
Dr. Cincotti teaches Programming I and laboratory courses at the University of Catania, with teaching activities documented from the 2022/2023 academic year to present. His educational background includes a graduate degree in Computer Science, and he has also taught in humanistic sectors and professional training courses, demonstrating interdisciplinary teaching capabilities.
