Registered user since Mon 24 Aug 2026
Name:Marco Ciccalè
Country:Spain
Affiliation:Universidad Politécnica de Madrid (UPM) and IMDEA Software Institute
Personal website: https://mciccale.github.io/
Research interests:Static Analysis; Abstract Interpretation; Formal Verification; Formal Semantics; Programming Languages
Contributions
SPLASH/ISSTA 2026-profile
View general profile
View general profile