Nicolas M.
About Nicolas M.
Nicolas M. is a researcher at Inria, specializing in theorem proving for geometry and exact real computation. He holds various academic positions, including Associate Professor at Université de Strasbourg and Invited Professor at the French-Azerbaijani University, and has extensive experience in teaching and supervising postgraduate students.
Work at Inria
Nicolas M. has been a researcher at Inria since 2009, contributing to the EPI Camus team for 15 years. His work focuses on theorem proving for geometry and exact real computation, areas that intersect with formal methods in computer science and mathematics. Inria is a prominent French national research institution dedicated to digital science and technology, and Nicolas's role involves collaboration with various research institutions, enhancing the scope of his projects.
Education and Expertise
Nicolas M. has a solid educational background in computer science and mathematics. He studied at Ecole normale supérieure de Lyon, where he earned a Magistère in Informatique et Modélisation from 1997 to 2000. He then pursued further studies at Université de Nice-Sophia Antipolis, achieving a Doctorat from 2000 to 2003 and a DEA in 1999-2000. In 2020, he completed his Habilitation à diriger des recherches, which qualifies him to supervise doctoral research.
Current Academic Positions
Nicolas M. holds several academic positions. He has been an Invited Professor at the French-Azerbaijani University (UFAZ) since 2017, where he teaches systems programming. At Université de Strasbourg, he has served as Maître de conférences HDR (Associate Professor) since 2005. He also chairs the 'Commission pédagogique de l'UFR Mathématique-Informatique,' overseeing student recruitment processes. Additionally, he has been responsible for the 'Science et Ingénierie du Logiciel' track of the Computer Science Master since 2018.
Research and Collaboration
Nicolas M. is actively involved in research activities, particularly in the field of formal methods and theorem proving applications. He cooperates with several institutions, including INRIA Sophia-Antipolis and Université de Poitiers, to advance his research. He also co-supervises postgraduate students, contributing to the academic development of emerging scholars in his field.
Past Responsibilities
From 2012 to 2016, Nicolas M. was in charge of the Master 'Ingénierie du Logiciel et des Connaissances' at Université de Strasbourg. This role involved curriculum development and oversight of the program, further demonstrating his commitment to academic leadership and education in computer science.