Theses

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

I supervise BA and MSc theses at the University of Verona. This page explains how to get started and the kind of topics I offer.

How to apply

  1. Browse my publications and research interests 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. 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.

Students I have supervised

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

  • Francesco Pedrazzoli (PhD, University of Verona, ongoing) — 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.
  • 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.