I'm an IT engineer student from the Ecole Polytechnique de l'Université de Tours, in my last year of engineering.
On the 1st of October 2015, I will start my Ph.D in Artificial Intelligence on the subject :
Practical resolution of the coherence of formulas in modal logic.
with Daniel Le Berre as my thesis director.
* Go on http://valentin-montmirail.com/ if you want to know more about me, my projects and/or my research. * Contact me by email at email@example.com if you have any particular question or just want to say hello.
Because Stackoverflow is amazing with now 10M questions
Keeping a low profile.
This user hasn't posted... yet.