I am a DPhil student in Computer Science and System Engineering under the supervision of Armando Tacchella and Massimo Narizzano (DIBRIS – UNIGE).
My main field of research is the enhancement of machine learned models
through formal verification and, in particular, the verification of neural networks.
To be more specific the aim of my work is to show, using formal methods,
that some properties of interest hold for a certain machine learning model and,
if necessary, to repair such model in order to guarantee the validity of the
properties.