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