Caterina VIOLA
Sono un'informatico teorico con un cuore da matematico.
Da marzo 2023 sono una ricercatrice con contratto RTD-a presso il Dipartimento di Matematica e Informatica e Informatica dell'Università di Catania. Mi occupo di algoritmi quantistici, in particolare per problemi di text processing, nell'ambito del progetto National Center for HPC, Big Data and Quantum Computing.
Il mio numero di Erdős è 3.
Durante il primo semestre dell'a.a. 2023/2024 sono docente del corso di Laboratorio di Algoritmi per il programma di Laurea in Informatica (L31) presso il DMI. Dal 2023 sono docente del corso di Informatica per il programma di Laurea in Scienze e lingue per la comunicazione (L20) presso il DISUM.
Ho ottenuto la laurea magistrale in Matematica all'Università di Catania con una tesi sperimentale su Semigruppi Numerici, scritta durante un semestre all'Universidad de Granada nell'ambito del progetto Erasmus. Dopo la laurea ho svolto un internship al Max Plank Institute di Bonn, per studiare alcuni temi di Teoria dei Numeri. Ho conseguito il titolo di Doctor rerum naturalium (equipollente al dottorato di ricerca italiano) in Matematica dalla Technische Universitaet Dresden in Germania, dove mi sono occupata di studiare la complessità di certi problemi computazionali di ottimizzazione, chiamati Valued Constraint Satisfaction Problems, su dominio infinito. Dopo aver ottenuto il dottorato, sono stata per poco più di due anni Senior Associate Post-doctoral Researcher presso il Dipartimento di Informatica della University of Oxford, dove ho studiato algoritmi di approssimazione e sono stata docente tutor per il corso di Complessità Computazionale. In seguito, ho lavorato per 7 mei come ricercatrice post-doc presso l'Univerzita Karlova di Praga, occupandomi dell' inapprossimabilità entro certe costanti di alcuni problemi di ottimizzazione computazionale.
Schneider, F.M., Viola, C. An application of Farkas' lemma to finite-valued constraint satisfaction problems over infinite domains (2023) 517 (1), art. no. 126591, . https://www.scopus.com/inward/record.uri?eid=2-s2.0-85135961572&doi=10.1016%2fj.jmaa.2022.126591&partnerID=40&md5=662541e1bf70ff033f0f0a32cd6bf6b8 DOI: 10.1016/j.jmaa.2022.126591
Bodirsky, M., Mamino, M., Viola, C. Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation (2022) 23 (1), art. no. 7, . https://www.scopus.com/inward/record.uri?eid=2-s2.0-85124044922&doi=10.1145%2f3488721&partnerID=40&md5=2d433ea79a22bdd59b06ba4b0074f3eb DOI: 10.1145/3488721
Viola, C., Å1/2ivný, S. The Combined Basic LP and Affine IP Relaxation for Promise VCSPs on Infinite Domains (2021) 17 (3), art. no. 21, . https://www.scopus.com/inward/record.uri?eid=2-s2.0-85112096471&doi=10.1145%2f3458041&partnerID=40&md5=bbb19bea40f3c1ffd770d87491bf83ed DOI: 10.1145/3458041
Bodirsky, M., Mamino, M., Viola, C. Piecewise linear valued constraint satisfaction problems with fixed number of variables (2021) 5, pp. 265-276. https://www.scopus.com/inward/record.uri?eid=2-s2.0-85107075121&doi=10.1007%2f978-3-030-63072-0_21&partnerID=40&md5=985dff5f155966751cb35e6d58811a22 DOI: 10.1007/978-3-030-63072-0_21
Viola, C., Živný, S. The combined basic LP and affine IP relaxation for rromise VCSPs on infinite domains (2020) 170, art. no. MFCS-2020-85, . https://www.scopus.com/inward/record.uri?eid=2-s2.0-85090505682&doi=10.4230%2fLIPIcs.MFCS.2020.85&partnerID=40&md5=27d7427fbd8d8f6881113e7888c6e1ee DOI: 10.4230/LIPIcs.MFCS.2020.85
Bodirsky, M., Mamino, M., Viola, C. Submodular functions and valued constraint satisfaction problems over infinite domains (2018) 119, art. no. 12, . https://www.scopus.com/inward/record.uri?eid=2-s2.0-85053032811&doi=10.4230%2fLIPIcs.CSL.2018.12&partnerID=40&md5=47a96f79c80384dfbcd7661a4b559ff8 DOI: 10.4230/LIPIcs.CSL.2018.12
Chapman, S.T., Garciá-Sánchez, P.A., Tripp, Z., Viola, C. Measuring primality in numerical semigroups with embedding dimension three (2016) 15 (1), art. no. 1650007, . https://www.scopus.com/inward/record.uri?eid=2-s2.0-84951740424&doi=10.1142%2fS0219498816500079&partnerID=40&md5=8386b0cbca660b81b7040b6ea269af30 DOI: 10.1142/S0219498816500079
García-Sánchez, P.A., Viola, C. When the catenary degree agrees with the tame degree in numerical semigroups of embedding dimension three (2015) 8 (4), pp. 677-694. https://www.scopus.com/inward/record.uri?eid=2-s2.0-85029302290&doi=10.2140%2finvolve.2015.8.677&partnerID=40&md5=16487dc34e839c41adf7b0fda9e6e47a DOI: 10.2140/involve.2015.8.677
Algoritmi e laboratorio (M-Z) - inizio delle lezioni
Le lezioni di Algoritmi e Laboratorio (Canale M-Z) avranno inizio domani, 1 ottobre 2024, alle ore 11:00 in Aula 24. E' stato creato un Teams (codice: 6814ocw) per la condivisione di tutte le informazioni utili sul corso, tra cui il calendario delle lezioni e gli esercizi. Il Teams dell'insegnamento sarà condiviso da entrambi i canali (A-L ed M-Z).