Warning : 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.

Status : (former) PhD Student

Team : CAPP

Contact information

• Sophie Tourret
• Laboratoire LIG
  220, rue de la Chimie
  IMAG Bâtiment C - 1 er étage- Bureau C114
  38402 Saint-Martin d'Hères - France
• Tel: +33 (0)4 76 63 59 99
• Email: prenom.nom@imag.fr

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.