Domenico CANTONE

Professore ordinario di INFORMATICA [INF/01]
Ufficio: 363 - I blocco DMI
Email: domenico.cantone@unict.it
Telefono: 095 7383052
Sito web: www.dmi.unict.it/~cantone




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\`a di Catania.
  • Novembre 1990 - Ottobre 1991: Professore Straordinario di Elaborazione dell'Informazione non Numerica, Universit\`a 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
  • Socio Effettivo, Accademia Gioenia, Catania
  • Socio Corrispondente, Accademia Peloritana dei Pericolanti, Messina

 

COMITATI SCIENTIFICI E ORGANIZZATIVI:

  • SETS 2018, GandALF 2016, LQMR 2015, OKOA 2015, CILC 2013, 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.
Anno accademico  

  • 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