I completed my PhD in March 2016. This webpage has not been updated since then. I am now a post-doctoral researcher at NII (Japan) and my new home page can be found here.
(former) PhD Student
My research domain is automated reasoning. I graduated from Grenoble INP Ensimag in 2012 and am currently doing a PhD on Abduction in First-Order Logic. My main focus is the computation of prime implicates in equational logic. During my PhD, I have also been a teaching assistant at Grenoble INP Ensimag in formal language theory, database management systems and communication networks.