Registered user since Mon 18 Dec 2017
Name: Michaël Marcozzi
Bio: Michaël is a Research Associate in the Department of Computing at Imperial College London, where he works in the Software Reliability Group (SRG) and Multicore Programming Group on compiler testing. Prior to joining Imperial, he has worked as a postdoc for two years at the CEA List Institute in Paris, as well as for one year at the INRIA Institute in Paris, funded by an ERCIM fellowship.
He earned his PhD from the University of Namur (Belgium) in 2014, funded by an F.R.S.-FNRS fellowship. In 2009, he has been a research trainee, funded by an Erasmus traineeship, at the Universidad Pablo de Olavide of Seville (Spain). He is the holder of two master’s degrees from the University of Namur, one in Computer Science and one in Physics, both obtained with the Highest Distinction.
Country: United Kingdom
Affiliation: Imperial College London
Personal website: http://www.marcozzi.net
Research interests: Software Testing, Program Analysis, Compilers, Constraint Solving, Search Metaheuristics, Data-Oriented Applications