I am a PhD candidate at the Databases and Artificial Intelligence Group (DBAI) at TU Wien, supervised by Stefan Woltran, Martin Lackner, and Jan Maly. I am part of the LogiCS-COFUND programme (a Marie Skłodowska-Curie Action). I am also part of the Semantic Systems Group (SemSys) at WU Wien, where I am employed through the FairOGD project led by Jan Maly.
My research lies at the intersection of artificial intelligence, computer science, and economics, particularly computational social choice (see this poster). I study collective decision-making problems such as what is a good voting rule? or when is a collective decision fair?. I address these questions using mathematical methods (e.g., proving theorems) and formal reasoning tools such as SAT solvers.
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.