Gianluca CINCOTTI

Ricercatore di INFORMATICA [INF/01]
Ufficio: Dip. Matematica e Informatica - III blocco, studio 53
Email: cincotti@dmi.unict.it
Telefono: 095 7383020
Fax: 095 330094


Gianluca Cincotti, laureato in Scienze dell'Informazione, è ricercatore confermato presso il Dipartimento di Matematica e Informatica dell'Università di Catania, dove insegna il corso di Programmazione I e laboratorio.  Ha svolto attività didattica anche presso facoltà umanistiche ed occasionalmente nell'ambito di corsi di formazione professionale.   È autore di pubblicazioni scientifiche su riviste internazionali nel campo dell'algoritmica e della logica computazionale.

[1] Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity
and concavity predicates. Journal of Symbolic Computation, Vol. 41 pp. 763-789,
2006. (Con D. Cantone, G. Gallo.)


[2] An efficient approximate algorithm for the 1-Median problem in metric spaces. SIAM Journal
on Optimization, Vol. 16(2), pp. 434-451, 2005. (Con D. Cantone, A. Ferro, A. Pulvirenti).


[3] QuickHeapsort: an efficient mix of classical sorting algorithms (Extended version). Theore-
tical Computer Science, Vol. 285(1) (Special issue CIAC 2000), pp.25-42, 2002. (Con D.
Cantone).


[4] The decision problem in graph theory with reachability related constructs. In P. Baumgartner,
H. Zhang (Eds.) Proc. of Third International Workshop on First-Order Theorem Proving
(FTP 2000), Technical Report 5/2000, Universitat Koblenz-Landau, Institut fur Informatik,
pp. 68-80, 2000. (Con D. Cantone).

[5] An efficient algorithm for the approximate median selection problem. In G. Bongiovanni,
G. Gambosi, and R. Petreschi (Eds.) Proc. of Fourth Italian Conference on Algorithms
and Complexity (CIAC 2000), Lecture Notes in Computer Science, Vol. 1767, pp. 226-238,
2000. (Con S. Battiato, D. Cantone, D. Catalano, M. Hofri).

L'attività scientica del candidato si è concentrata prevalentemente su due fronti: la teoria della
decidibilità e gli algoritmi e strutture dati.

L'attivita di studio e di ricerca che focalizza sul settore della teoria della decidibilità con applicazioni
ai sistemi di dimostrazione automatici, è orientata nel definire e provare decidibili teorie i cui linguaggi
prevedono predicati che esprimono proprietà significative per le teorie stesse. In particolare,
vengono considerati frammenti di teoria sull'analisi reale e frammenti di teoria dei grafi.

Nel settore dell'algoritmica sono stati sviluppati algoritmi di ordinamento in-place ed algoritmi
di approssimazione.