Michael is a Research Associate (postdoc) in the Department of Computing at Imperial College London, where he works in the Software Reliability Group (SRG) and Multicore Programming Group on compiler reliability and security. His research interests notably include software testing, fomal methods, compilers, symbolic execution, data-intensive software and evolutionary computation.

Prior to joining SRG, 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. His main research contribution has been the development of the Frama-C/LTest unified framework for automated testing powered by formal methods.

He earned his PhD from the University of Namur (Belgium) in 2014, funded by an F.R.S.-FNRS fellowship. His main contributions have been a) the development of symbolic execution for testing programs interacting with a SQL database and b) the writing of a full practical textbook for teaching basic compiler design. In 2009, he has been a research trainee, funded by an Erasmus traineeship, at the Universidad Pablo de Olavide of Seville (Spain), where he has worked over evolutionary computation for big data analytics. 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.

Additional information about Michael can be found at www.marcozzi.net.

Group Publications