Theses

Information for students interested in a BA, MA or MSc thesis under my supervision at the University of Verona.

At the University of Verona I supervise BA theses in Philosophy, MA theses in Philosophical Sciences, and MSc theses in Artificial Intelligence and in Big Data. This page explains how to get started and the kind of topics I offer.

How to apply

  1. Browse my publications to see the kind of problems I work on.
  2. Email me at fabioaurelio.dasaro@univr.it with a rough idea of what you would like to work on.
  3. We meet and shape a concrete topic together.

Prerequisites

My methods draw on formal logic and computer science, but a good BA thesis can be written without prior background in these areas: what matters most is curiosity and a willingness to pick up the tools along the way. MA and MSc theses are more demanding, and the prerequisites depend on the specific topic.

Proposed topics

  • The logical omniscience problem and propositional attitudes
  • Bounded rationality and depth-limited logics
  • Historical and conceptual analysis of Alan Turing’s writings
  • Bias and fairness in machine-learning systems (e.g. ChatGPT, Stable Diffusion)
  • Knowledge representation and commonsense reasoning with the Event Calculus
  • Inductive Logic Programming and its applications
  • Explainable AI for machine-learning systems
  • Formal argumentation frameworks
  • Temporal-reasoning problems (frame, qualification, ramification)
  • Measures of fairness

A note on writing

For logic-oriented theses I recommend writing in LaTeX. Overleaf makes this easy and lets us work on the draft together.

For the slides of your defence you can use Beavr 🦫, my unofficial Beamer theme for University of Verona presentations (view it on Overleaf). It includes the UniVR logo, and public use of the logo may require approval from the central offices, so check the official documentation first.

Students I have supervised

A thesis can grow into real research output. Some of the students I have supervised:

  • Giovanni Pezzali (MA, University of Verona, ongoing): Dai giudizi alle inferenze, Euclid’s proofs in the KE calculus and Kant’s problem of geometrical knowledge.
  • Francesco Pedrazzoli (PhD, University of Verona, 2025): ethics of recommender systems; paper at CEPE 2023.
  • Veronica Zenatelli (BA, University of Verona, 2024): large language models and the frame problem; benchmark dataset for reproducible evaluation.
  • Zlatina Mileva (MSc, Imperial College London, 2023): learning argumentation semantics; Outstanding Project Award; arXiv preprint.
  • Luca Raggioli (MSc, University of Naples Federico II, 2023): deep reinforcement learning for human-aware robot approaching behaviour; article in the International Journal of Social Robotics.
  • Daniele Fossemò and Marco D’Aviero (BSc, University of L’Aquila, 2022): Inductive Logic Programming for explainable AI; paper at BEWARE-22, later extended into a journal article in Theory and Practice of Logic Programming; the GRANITA dataset of Italian recipes and nutritional preferences (DOI: 10.5281/zenodo.7135196).
  • Gennaro Daniele Acciaro (MSc, University of Naples Federico II, 2021): real-time intent recognition with ProbLog; paper at WOA 2021.
  • Sara Sangiovanni (MSc, University of Naples Federico II, 2020): administering cognitive tests through human-robot interaction; paper at ICSR 2020.