"The scientist is not the man who provides the right answers; It is the one that poses the right questions."
Active Research Projects
➡ Abstract interpretation for COBOL (ARTIC) - Joint Project 2016 - Principal Investigator
➡ Abstract Interpretation-based analysis of Scripting languages (AbScript) - Joint Project 2014 - Principal Investigator
➡ Sconfiggere i malware in modo formale (FACE)
➡ Security Horizons