Francesco Logozzo

• Static Analysis
• Verification, Model Checking, and Abstract Interpretation