My research interests are in the area of Artificial Intelligence. In particular, I’m interested in how to improve the interaction between Formal Methods and Machine Learning, especially in the context of decision making, in order to take the best of both worlds.
I’ve got a MSc. and BSc. in Engineering in Computer Science, in the same university.
For the list of my publications, please look at my Google Scholar and DBLP profiles, or this page.