Home

Welcome to my page, I am a Post-Doc researcher in Computer Science at Università degli Studi di Genova. After working in the domain of automated configuration I am now focused on verification of learning-enabled systems, Neural Networks in particular.

I am contributing to the development of the learning and verification tool NeVer 2 with AIMS-Lab. More informations are available in our website NeVerTools