Page perso de Sophie Tourret  
 Home   Publications   Tools   
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:

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.