# Domenico CANTONE

Full Professor of Informatics [INFO-01/A]

##### Contacts

**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:00 to 12:00 (by appointment)**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

- DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES

Master's Degree in Computer Science - 1^{st}Year**ALGORITHMS AND COMPLEXITY** - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES

Bachelor's Degree in Computer Science - 2^{nd}Year**ALGORITMI E LABORATORIO A - L** - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES

Master's Degree in Mathematics - 1^{st}Year**COMPUTABILITY**

##### Academic Year 2020/2021

- DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES

Master's Degree in Computer Science - 1^{st}Year**ALGORITHMS AND COMPLEXITY** - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES

Bachelor's Degree in Computer Science - 2^{nd}Year**ALGORITMI E LABORATORIO A - L** - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES

Master's Degree in Mathematics - 1^{st}Year**COMPUTABILITY**

##### Academic Year 2019/2020

- DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES

Master's Degree in Computer Science - 1^{st}Year**ALGORITHMS AND COMPLEXITY** - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES

Bachelor's Degree in Computer Science - 2^{nd}Year**ALGORITMI E LABORATORIO A - L** - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES

Master's Degree in Mathematics - 1^{st}Year**COMPUTABILITY**

##### Academic Year 2018/2019

- DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES

Master's Degree in Computer Science - 1^{st}Year**ALGORITHMS AND COMPLEXITY** - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES

Bachelor's Degree in Computer Science - 2^{nd}Year**ALGORITMI E LABORATORIO A - L** - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES

Master's Degree in Mathematics - 1^{st}Year**COMPUTABILITY**

##### Academic Year 2017/2018

- DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES

Master's Degree in Computer Science - 1^{st}Year**ALGORITHMS AND COMPLEXITY** - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES

Bachelor's Degree in Computer Science - 2^{nd}Year**ALGORITMI E LABORATORIO** - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES

Master's Degree in Mathematics - 1^{st}Year**COMPUTABILITY**

##### Academic Year 2016/2017

- DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES

Master's Degree in Computer Science - 1^{st}Year**ALGORITHMS AND COMPLEXITY** - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES

Bachelor's Degree in Computer Science - 2^{nd}Year**ALGORITMI E LABORATORIO** - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES

Master's Degree in Mathematics - 1^{st}Year**COMPUTABILITY**

##### Academic Year 2015/2016

- DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES

Master's Degree in Computer Science - 1^{st}Year**ALGORITHMS AND COMPLEXITY** - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES

Bachelor's Degree in Computer Science - 2^{nd}Year**ALGORITHMS** - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES

Master's Degree in Mathematics - 1^{st}Year**COMPUTABILITY**

- 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