Domenico CANTONE

Professore ordinario di Informatica [INF/01]

FORMAZIONE:

  • Febbraio 1987: Ph.D. in Computer Science presso la New York University, New York
  • Giugno 1985: Master of Science in Computer Science presso la New York University, New York
  • Luglio 1982: Laurea in Matematica presso l'Università di Catania

 

POSIZIONI ACCADEMICHE:

  • Novembre 1993 - a tutt'oggi: Professore Ordinario nel settore scientifico-disciplinare INF/01 Informatica, Università di Catania
  • Novembre 1991 - Ottobre 1993: Professore Straordinario di Teoria ed Applicazione  delle Macchine Calcolatrici,  Università di Catania
  • Novembre 1990 - Ottobre 1991: Professore Straordinario di Elaborazione dell'Informazione non Numerica, Università di L'Aquila
  • Gennaio 1987 - Giugno 1989: Assistant Professor presso la New York University, Computer Science Department

 

CARICHE RICOPERTE E ASSOCIAZIONI:

  • Novembre 2012 - oggi: Responsabile della Sezione Informatica del Dipartimento di Matematica e Informatica dell'Università degli Studi di Catania
  • Settembre 2009 - Ottobre 2012: Presidente dell'Area Informatica della Facoltà di Scienze MM.FF.NN. dell'Università degli Studi di Catania
  • Novembre 2002 - Ottobre 2012: Coordinatore del Collegio dei Docenti del Dottorato di Ricerca in Informatica, Università di Catania
  • Novembre 2005 - Ottobre 2008: Membro della Giunta e vice-direttore del Dipartimento di Matematica e Informatica, Università di Catania
  • Gennaio 1994 - Ottobre 2001: Presidente del Consiglio di Corso di Laurea in Informatica, Università di Catania
  • Novembre 1996 - Ottobre 2002: Membro della Giunta del Dipartimento di Matematica e Informatica, Università di Catania
  • Aprile 1996 - Ottobre 2002: Membro della Commissione Didattica del GRIN (Gruppo degli Informatici Italiani)
  • Membro del Consiglio Direttivo della rivista Le Matematiche
  • Membro del Comitato Scientifico della rivista Synergheion
  • Socio Effettivo, Accademia Gioenia, Catania
  • Socio Corrispondente, Accademia Peloritana dei Pericolanti, Messina

 

COMITATI SCIENTIFICI E ORGANIZZATIVI:

  • CILC 2022, CILC 2021, CILC 2020, CS2T 2020, ICTCS 2020, SEA 2020 (co-Chair), CILC 2019, SETS 2018, GandALF 2016 (co-Chair), LQMR 2015, OKOA 2015, CILC 2013 (co-Chair), Third AMAST Workshop on Algebraic Methods in Language Processing 2003, 1999 Joint Conference on Declarative Programming - AGP'99, Fifth Italian Conference on Theoretical Computer Science 1995.
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
  • Teoria computabile degli insiemi
  • Deduzione automatica in varie teorie matematiche (teoria dei grafi, topologia, analisi reale) e logica temporale
  • Teoria delle scelte sociali e individuali
  • Verifica di correttezza di programmi
  • Algoritmi e strutture dati, ingegnerizzazione degli algoritmi
  • String matching