Oliviero Nardi

Oliviero

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.

Publications

(You may also check my dblp page.)

preprints

2026

2025

2024

2023

2022

2021

2019

Teaching

Additionally, I have co-supervised two Master's theses for the MSc in Logic and Computation at TU Wien.

Academic Miscellanea

Service

Awards

Contacts and Links