Clément Fumex

Clément Fumex has a diverse work experience in the engineering and research fields. Clément started their career at the University of Strathclyde as a PHD student from 2009 to 2012. Clément then worked as a Research and Development Engineer at Inria from November 2014 to March 2017, where they were involved in extending Spark2014 formal verification capability using Inria technology. Currently, Clément works at AdaCore since April 2017 in the role of Engineer.

Clément Fumex completed their Master's degree in Computer Science from Université Paris Cité during the period of 2003 to 2008. Subsequently, they pursued a Doctor of Philosophy (Ph.D.) in Computer Science at the University of Strathclyde from 2009 to 2012.