Sophie Tourret

J-GLOBAL         Last updated: Sep 20, 2016 at 18:03
 
Avatar
Name
Sophie Tourret
Affiliation
National Institute of Informatics
Section
Principles of Informatics

Profile

I am currently a post-doc researcher at the Inoue laboratory of NII. I have two main research subjects: extraction of logic rules from neural networks for LFIT and GPU-based parallel SAT solving.

I did my PhD at the Grenoble Informatics Laboratory (LIG) on the generation of prime implicates in equational logic. You can find my old webpage http://lig-membres.imag.fr/tourret/ . It contains the source code and the articles that were produced during my PhD.

Research Areas

 
 

Education

 
Oct 2012
 - 
Mar 2016
PhD on Abduction in Equational Logic, Computer Sciences, Grenoble-Alpes University / Grenoble Informatics Laboratory
 
Sep 2011
 - 
Jun 2012
Master on Web and Artificial Intelligence, Joseph Fourier University
 
Sep 2009
 - 
Jun 2012
Grenoble INP Ensimag (engineering school)
 

Awards & Honors

 
 
Abduction in Equational Logic, Best presentation and poster Award, Grenoble Informatics Laboratory
 
2 minutes madness presentation and poster session of the Grenoble Informatics Laboratory for second year PhD students.

Published Papers

 
Quantifier-Free Equational Logic and Prime Implicate Generation
Mnacho Echenim, Nicolas Peltier, Sophie Tourret
proceedings of CADE-25      2015   [Refereed]
A Rewriting Strategy to Generate Prime Implicates in Equational Logic
Mnacho Echenim, Nicolas Peltier, Sophie Tourret
proceedings of IJCAR 2014      2014   [Refereed]
An Approach to Abductive Reasoning in Equational Logic
Mnacho Echenim, Nicolas Peltier, Sophie Tourret
proceedings of IJCAI 2013      2013   [Refereed]

Misc

 
A Superposition-Based Approach to Abductive Reasoning in Equational Clausal Logic
Mnacho Echenim, Nicolas Peltier, Sophie Tourret
proceedings of ADDCT'14 (IJCAR 2014 workshop)      2014   [Invited]
A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses
Mnacho Echenim, Nicolas Peltier, Sophie Tourret
proceedings of PAAR’14 (IJCAR 2014 workshop)      2014   [Refereed]
A Superposition Strategy for Abductive Reasoning in Ground Equational Logic
Mnacho Echenim, Nicolas Peltier, Sophie Tourret
IWS 2012 (IJCAR 2012 workshop)      2012   [Refereed]

Teaching Experience