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.