Maxime Dénès
About Maxime Dénès
Maxime Dénès serves as the Chief Technology Officer for Tous Anti Covid at Inria, where he has worked since 2018. He has a strong academic background in Computer Science and Mathematics, holding a PhD from Université Côte d'Azur and a Master's degree from Ecole normale supérieure.
Current Role at Tous Anti Covid
Maxime Dénès serves as the Chief Technology Officer (CTO) for Tous Anti Covid, a position he has held since 2018. In this role, he focuses on the development and implementation of technology solutions to support the public health initiative. His work involves collaboration with various stakeholders to enhance the effectiveness of the application in managing COVID-19 related information.
Work at Inria
Maxime Dénès has a significant history with Inria, where he has worked in various capacities. He initially joined Inria as a Research Engineer from 2014 to 2017, contributing to research projects in Sophia-Antipolis, France. After a brief tenure at Fondation Inria, he returned to Inria as CTO for Tous Anti Covid in 2018, where he continues to engage in research and development.
Education and Expertise
Maxime Dénès holds a Doctor of Philosophy (PhD) in Computer Science from Université Côte d'Azur, which he completed from 2010 to 2013. Prior to this, he earned a Master's degree in Mathematics and Computer Science from École normale supérieure between 2008 and 2010. His educational background provides a strong foundation for his work in technology and research.
Postdoctoral Research Experience
Maxime Dénès worked as a Postdoctoral Researcher at the University of Pennsylvania from 2013 to 2014. This role allowed him to expand his research expertise in a different academic environment, contributing to his overall professional development and experience in the field of computer science.
Research Initiatives and Focus Areas
In his current role at Inria, Maxime Dénès is actively involved in building a consortium of academic and industrial users of the Coq proof assistant. He focuses on improving and promoting the Coq proof assistant, which is a formal proof management system. His efforts aim to enhance its usability and application in various domains.