Name:Michaël Marcozzi

Bio:

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!

Country:France

Affiliation:Université Paris-Saclay, CEA, List

Research interests:Software Security, Software Testing, Program Analysis, Fuzzing, Compilers, Constraint Solving, Search Metaheuristics, Data-Oriented Applications