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 administrators 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.