Photo de M. Marcozzi
Welcome to my academic webpage!

I am a postdoctoral researcher in computer science at the CEA-List institute (Université Paris Saclay, France). I work over automatic white-box testing for coverage criteria and hyperproperties.

Between 2010 and 2015, I have been a Ph.D. student at the University of Namur and a postdoctoral researcher at
INRIA Paris-Saclay institute, working about constraint-based testing of data-intensive applications.

Holder of two master degrees, in physics and computer science, I have worked in 2009 at the DATAi research group of Seville over search meta-heuristics and bioinformatics.

You can contact me, browse my publications and read my detailed CV.

Research Interests: Software Testing, Program Analysis, Formal Methods, Data-Intensive Software, Constraint Programming, Machine Learning and Combinatorial Optimisation, Bioinformatics