معرفی
Caterina VIOLA is a theoretical computer scientist and mathematician currently serving as a Fixed-term Assistant Professor (RTDA) at the Department of Mathematics and Computer Science of the University of Catania. Her research focuses on quantum algorithms for text processing, computational complexity, and constraint satisfaction problems within the National Center for HPC, Big Data and Quantum Computing project.
- Education: Master's in Mathematics from University of Catania (Erasmus exchange at Universidad de Granada); Doctor rerum naturalium in Mathematics from Technische Universitaet Dresden
Her research bridges theoretical computer science and mathematics, with a particular emphasis on approximation algorithms, inapproximability, and numerical semigroups. She has previously worked at the University of Oxford as a post-doctoral researcher and tutor, followed by a post-doc position at Charles University in Prague.
Recent publications highlight her work on linear programming relaxations for constraint satisfaction problems, submodular functions, and numerical semigroup analysis. Current teaching responsibilities include Laboratorio di Algoritmi for Computer Science undergraduates and Informatica for Communication Sciences and Languages students.
As a Senior Associate Post-doctoral Researcher at Oxford and post-doc at Charles University in Prague, she has developed expertise in mathematical foundations of computational optimization and their practical implementations.
