He is a member of the Methodes team of the Samovar lab (UMR 5157 CNRS Télécom SudParis). He is also visiting scientist in the Inria project-team Deducteam. He is interested in automated deduction, reasoning mechanization, proof theory and logic in general. In particular, he is interested in the combination of theories through deduction modulo theory.