PhD (2012), MSc (2008), Laurea Specialistica (2008)
Academic, Chancellor’s Fellow, and Turing Fellow at the University of Edinburgh.
My research is at the intersection of machine learning and symbolic systems (logics, programs), in service of the science and technology of artificial intelligence. For more information, please see the lab website.