Vai al contenuto principaleVai al menu di navigazione
Università di Catania
Area riservata
ENG
Logo UniCt

Dipartimento di

Matematica e Informatica

Seguici su
Cerca
Vai ai contenuti correlati

Gianluca CINCOTTI

Ricercatore di Informatica [INF/01]
Contatti

Ufficio: Dip. Matematica e Informatica - III blocco, studio 53
Email: cincotti@dmi.unict.it
Telefono: 095 7383020
Fax: 095 330094

Orario di ricevimento
Martedì e giovedì dalle 10:00 alle 11:00 La mail del docente è sempre attiva.

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.

VISUALIZZA LE PUBBLICAZIONI
N.B. l'elevato numero di pubblicazioni può incidere sul tempo di caricamento della pagina
VISUALIZZA GLI INSEGNAMENTI DALL'A.A. 2022/2023 AD OGGI

Anno accademico 2021/2022

Anno accademico 2020/2021

Anno accademico 2019/2020

Anno accademico 2018/2019

Anno accademico 2017/2018

Anno accademico 2016/2017

Anno accademico 2015/2016

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.