In October 2026, I obtained a PhD from TU Wien. I worked in the Databases and Artificial Intelligence Group (DBAI) and was supervised by Stefan Woltran, Martin Lackner, and Jan Maly. I was part of the LogiCS-COFUND programme (a Marie Skłodowska-Curie Action). During the final four months of my PhD, I was also part of the Semantic Systems Group (SemSys) at WU Wien, where I was employed through the FairOGD project led by Jan Maly.
My research was at the intersection of artificial intelligence, computer science, and economics, particularly computational social choice (see this poster). I studied collective decision-making problems such as what is a good voting rule? or when is a collective decision fair?. I addressed these questions using mathematical methods (e.g., proving theorems) and formal reasoning tools such as SAT solvers. My PhD thesis is available here.
I hold a BSc in Computer Science from the University of Verona and an MSc in Artificial Intelligence from the University of Amsterdam, where I wrote my thesis under the supervision of Arthur Boixel and Ulle Endriss. The thesis received the university-wide UvA Thesis Prize 2022. After my Master's, I worked as a research assistant in the COMSOC Group at the Institute for Logic, Language and Computation (ILLC) in Amsterdam. During my PhD, I also visited the LAMSADE group at Paris Dauphine University from October to December 2024.
If you are interested, you may look at my detailed curriculum vitae.