Curriculum breve di Domenico Cantone

• Laureatosi in matematica nel 1982 presso l'Università di Catania, nel 1985 e 1987 ha conseguito presso la New York University i titoli di M.S. e Ph.D. in Computer Science.
• Dal 1987 al 1989 è stato Visiting Professor presso la New York University.
• Nel 1990 è stato responsabile per lo sviluppo del database del sistema orientato agli insiemi Cantor, in qualità di Consultant Engineer.
• Nell'anno accademico 1990/91 ha preso servizio presso l'Università di L'Aquila in qualità di professore straordinario di informatica per trasferirsi l'anno successivo presso l'Università di Catania, dove attualmente presta servizio.
• Dal 1993/94 è professore ordinario di informatica.
• Dal 1993/94 al 2000/01 ha ricoperto la carica di Presidente del Consiglio di Corso di Laurea in Informatica di Catania.
• Dal 2002/03 è Coordinatore del Dottorato in Informatica di Catania.
• Dal 1995/96 fa parte del Consiglio Direttivo della rivista Le Matematiche.
• Dal 1996/97 al 1999/2000 e dal 2005/06 al 2008/09 è stato membro della Giunta del Dipartimento di Matematica e Informatica di Catania.
• Dal 2005/06 al 2008/09 è stato vicedirettore del Dipartimento di Matematica e Informatica di Catania.
• È stato più volte Visiting Scholar presso la New York University, la Stanford University, l'I.C.S.I. (International Computer Science Institute, Berkeley), le università di Freiburg e di Karlsruhe (Germania).
• I suoi interessi scientifici includono: teoria computabile degli insiemi, deduzione automatica in varie teorie matematiche, ingegnerizzazione degli algoritmi, algoritmi fondamentali, algoritmi approssimati, algoritmi su stringhe.
• È autore e co-autore di oltre 160 pubblicazioni e rapporti tecnici, nonché di tre monografie su Computable Set Theory, di cui l'ultima è ancora in fase di stesura.
• Dal 1992 è stato responsabile scientifico locale di svariati contributi di ricerca del C.N.R., di progetti MURST ex 40% e di un progetto cofinanziato dal MURST (1998-1999), nonché, nel biennio 1998-1999, di un progetto bilaterale con l'università di Karlsruhe nell'ambito del programma Vigoni. Le tematiche interessate sono state: calcolo simbolico, deduzione automatica, decidibilità in teoria degli insiemi.
• Dal 1995 al 1997 ha coordinato il progetto nazionale CNR denominato SETA su tematiche di computazione con insiemi e dal 1998 al 2000 ha coordinato il progetto nazionale del CNR, denominato log(SETA).
• Nel biennio 2001-2002 è stato responsabile nazionale di un progetto cofinanziato dal MIUR su tematiche relative a computazione con insiemi.
• Nel biennio 2007-2008 è stato responsabile locale di un progetto cofinanziato dal MIUR su tematiche relative a computazione con insiemi.
• È coniugato con Maria Pia ed ha un figlio, Riccardo.