Marco Campion

Postdoctoral Researcher

INRIA & École Normale Supérieure | Université PSL, Paris, France

Research Interests

My area of research revolves around the field of formal methods. In particular, my main area of expertise is Abstract Interpretation which provides a strong mathematical framework for approximating undecidable or highly complex problems. I am also interested in foundational aspects of computation, with particular attention to the relation between intensional and extensional properties of code.

Research topics:


Events I am involved in


Teaching and Tutoring