I am a full-time researcher at Università di Milano-Bicocca, a higher education institution in Milano, Italy. My research interests are about software engineering, software quality, formal software analysis, and machine learning. I have also an extensive experience as a consultant, primarily as software arhitect and test engineer.
Specialties: Formal methods, software architecture, software quality, software analysis, software testing, programming languages, machine learning.