Follow us
Search

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
VIEW COURSES FROM A.Y. 2022/2023 TO PRESENT
  • 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