Thesis subject : Practical resolution of the coherence of formulas in modal logic.
International conference SAT'17 Writing an article about how to solve the satisfiability problem in 15 different modal logics.
International conference IJCAI'17 Article about a new way to perform an abstraction reasoning submitted.
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.
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.
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 also one of the developer of the Modal Logic K Checker MDK-Verifier and the Modal Logic S5-Satisfiability Solver S52SAT.