1999-2000: MSc in Cognitive Science at the University of Birmingham (UK). For my final project I used John Barnden's system ATT Meta, an AI system that reasons about mental states, to reason about desires and emotions.

1993-1999: Laurea in Filosofia at the Dipartimento di Filosofia of the University of Florence (Italy). My Tesi (in Italian) was entitled The role of Gödel's incompleteness theorems and quantum mechanics in the mind-computer debate. My supervisors were Marisa Dalla Chiara and Marco Giunti. I also collaborated with Bruno Marchal at the IRIDIA, Université Libre de Bruxelles (Belgium).