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 firstname.lastname@example.org if you have any particular question or just want to say hello.
Because Stackoverflow is amazing with now 10M questions
Q&A for professional and enthusiast programmers
Q&A for users of TeX, LaTeX, ConTeXt, and related typesetting systems
Q&A for people studying math at any level and professionals in related fields
Q&A for enthusiasts and power users of the Android operating system
Q&A for professional mathematicians
Q&A for meta-discussion of the Stack Exchange family of Q&A websites
Q&A for theoretical computer scientists and researchers in related fields
Q&A for scientists using computers to solve scientific problems
Q&A for students, teachers, and linguists wanting to discuss the finer points of the French language
Q&A for students, researchers and practitioners of computer science
Stack Exchange Network staging zone, where users come together to build new Q&A sites