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

Academic Year 2021/2022


Academic Year 2020/2021


Academic Year 2019/2020


Academic Year 2018/2019


Academic Year 2017/2018


Academic Year 2016/2017


Academic Year 2015/2016
  • 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