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:

• Abstract Interpretation
• Program Analysis
• Program Verification
• Computability and Formal Languages

Publications

• Marco Campion, Isabella Mastroeni, Michele Pasqua, Caterina Urban. Abstract Lipschitz Continuity: Combining Semantic and Quantitative Approximations. To appear in 29th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2026)
• Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban. A Logic for the Imprecision of Abstract Interpretations. In 53rd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2026)
• Marco Campion, Isabella Mastroeni, Caterina Urban. Relating Distances and Abstractions: An Abstract Interpretation Perspective. In 32nd Static Analysis Symposium (SAS 2025)
• Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda. Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja. In 2025 Workshop on Research on Offensive and Defensive Techniques in the Context of MATE Attacks (CheckMATE 2025)
• Denis Mazzucato, Marco Campion, Caterina Urban. Quantitative Static Timing Analysis. In 31st Static Analysis Symposium (SAS 2024)
• Denis Mazzucato, Marco Campion, Caterina Urban. Quantitative Input Usage Static Analysis. In 16th NASA Formal Methods Symposium (NFM 2024)
• Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban. Monotonicity and the Precision of Program Analysis. In 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024)
• Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi. A Formal Framework to Measure the Incompleteness of Abstract Interpretations. In 30th Static Analysis Symposium (SAS 2023)
• Marco Campion, Mila Dalla Preda, Roberto Giacobazzi. On the Properties of Partial Completeness in Abstract Interpretation. In 23rd Italian Conference on Theoretical Computer Science (ICTCS 2022)
• Marco Campion, Mila Dalla Preda, Roberto Giacobazzi. Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis. In 49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022)
• Marco Campion, Mila Dalla Preda, Roberto Giacobazzi. Learning Metamorphic Malware Signatures from Samples. In Journal of Computer Virology and Hacking Techniques, Volume 17, pages 167-183, 2021
• Marco Campion, Mila Dalla Preda, Roberto Giacobazzi. Abstract Interpretation of Indexed Grammars. In 26th Static Analysis Symposium (SAS 2019)

Events I am involved in

• I was awarded the 2025 Radhia Cousot Young Researcher Best Paper Award for my paper Relating Distances and Abstractions: An Abstract Interpretation Perspective at SAS 2025
• Member of the Artifact Evaluation Committee of the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2026)
• Organizer of the GiacoFest workshop at POPL 2026
• Member of the Program Committee of the 53rd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2026)
• Member of the Artifact Evaluation Committee of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2025)
• Chair of the Artifact Evaluation Committee of the 31st Static Analysis Symposium (SAS 2024)
• Invited talk at IRIF, Université Paris Cité (Verification Seminar, Paris, France, December 2023) presenting our POPL 2024 paper
• Member of the Artifact Evaluation Committee of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2024)
• Member of the Program Committee of the Workshop on Attacks and Software Protection (WASP @ESORICS 2023)
• Member of the Artifact Evaluation Committee of the 30th Static Analysis Symposium (SAS 2023)
• Member of the Artifact Evaluation Committee of the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023)
• Hub Talk at the 35th European Conference on Object-Oriented Programming (ECOOP 2022) presenting our POPL 2022 paper
• Member of the Artifact Evaluation Committee of the 29th Static Analysis Symposium (SAS 2022)
• Member of the Artifact Evaluation Committee of the 28th Static Analysis Symposium (SAS 2021)
• Invited talk at The IMDEA Software Institute (Madrid, Spain, May 2018), Title of the talk: "Indexed Grammars Abstractions and Relations with other Formal Languages" (Link)

Career

• Currently: Postdoctoral researcher at the Sorbonne Université in the research team APR at the LIP6 Laboratory under the supervision of Antoine Miné (September 2025-present)
• Postdoctoral researcher at the INRIA & ENS Paris | Université PSL in the research team ANTIQUE under the supervision of Caterina Urban (February 2023-August 2025)
• Ph.D. in Computer Science, University of Verona (Italy) under the supervision of Prof. Roberto Giacobazzi. Ph.D. Thesis Title: "Partial (In)Completeness in Abstract Interpretation"
• Master Degree in Computer Science, University of Verona (Italy) under the supervision of Prof. Mila Dalla Preda. Master Thesis Title: "Learning Rewriting Rules from Widening Automata"
• Bachelor Degree in Computer Science, University of Verona (Italy) under the supervision of Prof. Massimo Merro. Bachelor Thesis Title: "Statistical Model Checking of the DYMO Routing Protocol for Ad Hoc Networks under Message Loss"

Teaching and Tutoring

• Software Security (Laboratory module instructor), University of Verona (Fall 2024)
• Software Security (Laboratory module instructor), University of Verona (Fall 2023)
• Software Security (Laboratory module instructor), University of Verona (Fall 2022)
• Cyberchallenge 2022 (Organizer and teaching tutor), University of Verona (Spring 2022)
• Software Security (Laboratory module instructor), University of Verona (Fall 2021)
• Cyberchallenge 2021 (Organizer and teaching tutor), University of Verona (Spring 2021)
• Cyberchallenge 2020 (Organizer and teaching tutor), University of Verona (Spring 2020)
• Programmazione I (Teaching tutor), University of Verona (Fall 2019-Spring 2020)
• Programmazione I (Teaching tutor), University of Verona (Fall 2018-Spring 2019)
• Logica (Teaching tutor), University of Verona (Fall 2017)

Contact

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