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
Orario di ricevimento: Martedì dalle 10:30 alle 11:30 Valido per martedì 17 marzo 2020


Email: domenico.cantone@unict.it
Telefono: 095 7383052
Sito web: www.dmi.unict.it/cantone
Orario di ricevimento: Martedì dalle 10:30 alle 11:30 Valido per martedì 17 marzo 2020



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