Michaël Marcozzi

Registered user since Mon 18 Dec 2017

Name:Michaël Marcozzi

I am a passionate researcher in software safety and security. I believe that, in the right conditions, computers can be the best allies of humans to make better programs. I spend most of my time conceptualising, designing and studying software tools to help us make code more trustworthy. I deploy and evaluate these tools in industrial environments.

My research is at the crossroads of software engineering, formal methods, programming languages, systems and security. I use various techniques, such as symbolic execution, static analysis, fuzzing, SMT solving and machine learning, to analyse and improve how much software can be trusted.

Since 2020, I have been a tenured researcher at the CEA LIST institute, within Université Paris-Saclay. I obtained my Ph.D. in 2014 from Université de Namur (BE) and I have been a postdoc at INRIA, CEA LIST (FR) and Imperial College London (UK) between 2014 and 2020.

Follow me on Twitter and visit my website!

Affiliation:Université Paris-Saclay, CEA, List
Personal website:http://www.marcozzi.net
Research interests:Software Security, Software Testing, Program Analysis, Fuzzing, Compilers, Constraint Solving, Search Metaheuristics, Data-Oriented Applications


ISSTA 2021 Session Chair of Session 28 (time band 3) Fuzzing and Runtime Analysis (part of Technical Papers)
SPLASH 2019 Author of Compiler Fuzzing: How Much Does It Matter? within the OOPSLA-track
Author of Compiler Fuzzing: How Much Does It Matter? within the OOPSLA Artifacts-track
ECOOP 2019 Committee Member in Artifact Evaluation Committee within the Artifacts-track
PLDI 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
* ICSE 2018 * Author of Time to Clean your Test Objectives within the Technical Papers -track