Universita degli Studi di Catania, Dipartimento di Matematica e Informatica