Registered user since Sun 19 Jan 2020

Name: Isabel Garcia-Contreras

Country: Spain

Affiliation: IMDEA Software Institute

Personal website:

Research interests: Static Analysis, Abstract interpretation, Logic Programming


VMCAI 2021 Committee Member in Artifact Evaluation Committee within the VMCAI-track
POPL 2020 Author of Abstract Extensionality: On the Properties of Incomplete Abstract Interpretations within the Research Papers-track