Domenico CANTONE

Professor of Informatics [INF/01]
Office: 363 - I blocco DMI
Email: domenico.cantone@unict.it
Phone: 095 7383052
Web Site: www.dmi.unict.it/cantone
Office Hours: Tuesday from 10:30 to 11:30 Valido per martedì 17 marzo 2020



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.

 

ASSOCIATIONS:

  • Effective Member, Accademia Gioenia, Catania.
  • Corresponding Member, Accademia Peloritana dei Pericolanti, Messina.

 

PROGRAM AND ORGANIZATION COMMITTEES:

  • SETS 2018, GandALF 2016, LQMR 2015, OKOA 2015, CILC 2013, 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.
Academic Year  

  • 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