Roberto Giacobazzi

• Static Analysis
• Static Analysis
• Verification, Model Checking, and Abstract Interpretation
• Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
• POPL'13
• Proceedings of the 7th Workshop on Programming Languages Meets Program Verification