
Domenico CANTONE
Full Professor of Informatics [INFO-01/A]
EDUCATION:
- February 1987: Ph.D. in Computer Science, New York University, New York
- June 1985: Master of Science in Computer Science, New York University, New York
- July 1982: Bachelor Degree in Mathematics, University of Catania
ACADEMIC POSITIONS:
- November 1991 - to date: Professor of Computer Science, University of Catania
- November 1990 - Ottobre 1991: Professor of Computer Science, University of L'Aquila
- January 1987 - June 1989: Assistant Professor, New York University, Computer Science Department
ROLES AND RESPONSIBILITIES:
- November 2012 - to date: Chair of the Computers Science Section of the Dept.\ of Mathematics and Computer Science, University of Catania
- September 2009 - October 2012: Chair of the Computers Science Area of the Faculty of Mathematics, Physics and Natural Sciences, University of Catania.
- November 2002 - October 2012: Director of the Graduate Studies in Computer Science, University of Catania.
- November 2005 - October 2008: Member of the Dept.\ of Mathematics and Computer Science Council, University of Catania
- November 2005 - October 2008: Deputy Director of the Dept.\ of Mathematics and Computer Science, University of Catania
- January 1994 - October 2001: Director of the Undergraduate Studies in Computer Science, University of Catania.
- November 1996 - October 2002: Member of the Dept.\ of Mathematics and Computer Science Council, University of Catania
- April 1996 - October 2002: Member of the Education Commission of GRIN (Gruppo degli Informatici Italiani--Group of Italian Computer Scientits).
- Member of the Editorial Board of the journal Le Matematiche.
- Member of the Scientific Committee of the journal Synergheion.
ASSOCIATIONS:
- Effective Fellow, Accademia Gioenia, Catania.
- Corresponding Fellow, Accademia Peloritana dei Pericolanti, Messina.
PROGRAM AND ORGANIZATION COMMITTEES:
- 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.
VIEW THE PUBLICATIONS
N.B. the number of publications can affect the loading time of the information
- Computable set theory
- Automated deduction in various theories (graph theory, topology, real analysis, etc.) and in temporal logic
- Theory of social and individual choices in economics
- Program verification
- Algorithms and data structures, Algorithmic Engineering
- String matching