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
Using general profile