Valentin Montmirail Ph.D Student in Artificial Intelligence đŸ‡ȘđŸ‡ș

Thesis subject : Practical resolution of the coherence of formulas in modal logic.

International conference IJCAI'17 New way to perform an abstraction reasoning: "RECAR is the new CEGAR".

Short Biography

In 2010, Valentin Montmirail got his Baccalauréat specialty Mathematics with honors.
Then, he continued with a DUT (a two-years undergraduate technical diploma) in Computer Sciences, held at IUT de Lens.

To obtain his DUT, Valentin studied 4 months in Université du Québec à Montreal (Canada) and made an internship 4 other months in Axa Assistance Canada.

During these two years in Lens, Valentin creates his first company in the web development, specialized in the Dev/Ops approach and the PhP/Zend developement. He worked with, among others, Axa Assistance Canada from France by telecommuting until 2013.

From 2012 to 2015, he made his studies in Ecole Polytechnique de l'Université de Tours, to get his engineering degree (Master's degree equivalent). During these years in Tours, Valentin joined the direction of the company Simply Créat' created by his friend Alain Krok, and was responsible of the customer relationships and the web development team.

To obtain his engineering degree, Valentin studied 4 months in Politechnika Ɓódzka (Poland) and work 5 months in Atos WrocƂaw (Poland)

And now, from 2015 to 2018, Valentin is doing his Ph.D in Artificial Intelligence on the topic of modal logic and modal satisfiability problems.
Supervised by Daniel Le Berre and co-supervised by Jean-Marie Lagniez and Tiago de Lima.

On the research part, Valentin is an active member of the Association of Automated Reasoning.
He is, for this reason, one of the web developer/administrator of the IJCAR, CADE and AAR websites. He is one of the developer of the Modal Logic K Checker MDK-Verifier and the Modal Logic S5-Satisfiability Solver S52SAT.

Finally, with his supervisor and co-supervisors, he is one the inventor of the RECAR framework.


Centre de Recherche en Informatique de Lens Centre National de la Recherche Scientifique Université d'Artois IUT de Lens