Oliviero Nardi
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) and of the Semantic Systems Group (SemSys) at WU Wien.
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? and 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.