Domenico CANTONE
Professore ordinario di Informatica [INFO-01/A]
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
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 1° anno
ALGORITMI E COMPLESSITA' - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea in Informatica - 2° anno
ALGORITMI E LABORATORIO A - L - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Matematica - 1° anno
COMPUTABILITA'
Anno accademico 2020/2021
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 1° anno
ALGORITMI E COMPLESSITA' - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea in Informatica - 2° anno
ALGORITMI E LABORATORIO A - L - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Matematica - 1° anno
COMPUTABILITA'
Anno accademico 2019/2020
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 1° anno
ALGORITMI E COMPLESSITA' - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea in Informatica - 2° anno
ALGORITMI E LABORATORIO A - L - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Matematica - 1° anno
COMPUTABILITA'
Anno accademico 2018/2019
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 1° anno
ALGORITMI E COMPLESSITA' - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea in Informatica - 2° anno
ALGORITMI E LABORATORIO A - L - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Matematica - 1° anno
COMPUTABILITA'
Anno accademico 2017/2018
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 1° anno
ALGORITMI E COMPLESSITA' - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea in Informatica - 2° anno
ALGORITMI E LABORATORIO - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Matematica - 1° anno
COMPUTABILITA'
Anno accademico 2016/2017
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 1° anno
ALGORITMI E COMPLESSITA' - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea in Informatica - 2° anno
ALGORITMI E LABORATORIO - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Matematica - 1° anno
COMPUTABILITA'
Anno accademico 2015/2016
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 1° anno
ALGORITMI E COMPLESSITA' - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea in Informatica - 2° anno
ALGORITMI - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in 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