Silvia Butti

Senior Research Associate,  Algorithms and Complexity Theory

Department of Computer Science | University of Oxford


LinkLinkLinkedInLink

Bio

I am a mathematician working in theoretical computer science. Currently, I am a Senior Research Associate at the University of Oxford, working with Standa Živný on theoretical aspects of the (promise) constraint satisfaction problem within the UKRI - ERC Guarantee grant NAASP.

I obtained my PhD from Universitat Pompeu Fabra (Barcelona, ES) under the supervision of Victor Dalmau within the Artificial Intelligence and Machine Learning research group. I defended my doctoral thesis in October 2022 and obtained the highest classification of Excellent Cum Laude. You can find my thesis here and my presentation here. As part of my PhD I spent three months as a visiting researcher at the Department of Algebra of Charles University (Prague, CZ), working with Libor Barto.

Previously, I obtained an MSc in Mathematics and Foundations of Computer Science (MFoCS) from the University of Oxford (2018) and a BSc in Mathematics from University College London (2017).

When I'm not doing maths, you can probably find me dancing salsa, playing beach volleyball, or hikingMy Erdős Number is 3.

Publications and pre-prints

An extended abstract appeared in 38th International Symposium on Theoretical Aspects of Computer Science, 2021. [PDF] [DOI]

An extended abstract appeared in 36th International Symposium on Theoretical Aspects of Computer Science, 2019. [PDF] [DOI]

Theses

Selected Academic talks (  !  denotes invited talks)

Other conference participations and research visits

Funding

I am currently funded by the UKRI (formerly ERC) grant "New Approaches to Approximability of Satisfiable Problems" (NAASP).

My PhD was jointly supported by the INPhINIT fellowship programme of “la Caixa” foundation, and by the European Union's Horizon 2020 research and innovation programme through the Marie Skłodowska-Curie Action (MSCA) COFUND.

Teaching

Get in touch at silvia butti @ cs ox ac uk