Domenico 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.

• Informatica - 1 anno
  ALGORITMI E COMPLESSITA'
  
  
• Informatica - 2 anno
  ALGORITMI E LABORATORIO A - L
  
  
• Matematica - 1 anno
  COMPUTABILITA'

• 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