Marco Campion

Postdoctoral Researcher

Sorbonne Université, Paris, France

Research Interests

My area of research focuses on formal methods. In particular, my main area of expertise is Abstract Interpretation, a mathematical theory to design program semantics, program properties and program analysis. I am also interested in foundational aspects of computation, with particular attention to the relation between intensional and extensional properties of code.

Research topics:

Publications

Events I am involved in

Career

Teaching and Tutoring

Contact

marco [dot] campion [at] lip6 [dot] fr