Domenico Cantone
Professor
Department of Mathematics and Informatics
University of Catania
Italy
Biography
• 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`a di Catania. POSIZIONI ACCADEMICHE • Novembre 1993 - a tutt’oggi: Professore Ordinario nel settore scientifico-disciplinare INF/01 Informatica (ex K05B), Universit`a 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.
Research Interest
• Computable set theory. • Automatic deduction in various mathematical theories (graph theory, topology, real analysis) and logic thunderstorm • Verify correctness of programs. • Algorithms and data structures, engineering of algorithms. • String matching.
Publications
-
M. Campanelli, D. Cantone, S. Faro, and E. Giaquinta. Pattern matching with swaps in practice. International Journal of Foundations of Computer Science, 23(2):323–342, February 2012.
-
D. Cantone, M. Nicolosi Asmundo, and E. Or lowska. Dual tableau-based decision procedures for relational logics with restricted composition operator. Journal of Applied Non-Classical Logics, 21(2):177–200, January 2011.
-
D. Cantone, M. Felici, and M. Nicolosi Asmundo. Solvable set/hyperset contexts: III. A tableau system for a fragment of hyperset theory. Rend. Istit. Mat. Univ. Trieste, 42:165–190, 2010.
