Static Analysis Symposia Central Site
Marco Campion - Home Page
Description: Research Scientist (Chargé de Recherche)
I am always looking for strong and motivated PhD students and postdocs to work with me on formal verification methods for data science and machine learning software. Contact me if interested!
I am a member of the INRIA research team ANTIQUE (ANalise StaTIQUE). Previously, I was a postdoctoral researcher at the Chair of Programming Methodology, led by Peter Müller at ETH Zurich. I completed my Ph.D. in Computer Science, working under the joint supervision of Radhia Cousot and Antoine Miné at École Normale Supérieure. I hold a Bachelor’s and a Master’s degree in Computer Science, both received with full marks and honors (summa cum laude) from the Università degli Studi di Udine.
My research interests span the whole spectrum of formal methods and aim at developing methods and tools to enhance the reliability of computer software and understanding complex software systems. My main area of expertise is static analysis based on abstract interpretation , which provides rigorous mathematical guarantees of the behavior of computer programs. I am currently engaged in a long-term research effort to enhance the understanding and reliability of data science software, which nowadays plays an i
Static Analysis Symposia Central Site
Marco Campion - Home Page