基本情報

所属
国立情報学研究所

J-GLOBAL ID
201601015827593347

I was a post-doc researcher at the Inoue laboratory of NII for a year and a half (2016-2017). I had two main research subjects during that time: extraction of logic rules from neural networks for LFIT and GPU-based parallel SAT solving.

I am now a member of the Automation of Logic group at the Max Planck Institute for Informatics. My new webpage is https://www.mpi-inf.mpg.de/departments/automation-of-logic/people/sophie-tourret/

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

論文

  11