معرفی
Sophie Tourret is a Researcher at Inria (Nancy & LORIA, France) and a guest researcher in the Automation of Logic group at the Max Planck Institute for Informatics (MPII, Germany). Her research focuses on extending automated reasoning techniques to higher-order logic, improving SMT solvers, and generating prime implicates in equational logic.
- Education:
- PhD in Computer Sciences, Grenoble Alpes University (2016)
- Master in Web and Artificial Intelligence, Joseph Fourier University (2012)
- Engineering Degree, Grenoble INP - Ensimag (2012)
Research Interests include automated reasoning, formal logic, artificial intelligence, and logic programming. She leads projects like Matryoshka (extending superposition to higher-order logic) and CPEC (explanation generation in description logics).
Recent Publications span topics such as superposition calculus, prime implicate generation, and neural-to-symbolic learning. Her work bridges symbolic reasoning and machine learning in formal logic contexts.
- Scientific Awards:
- ILP Best Paper Award (2019)
- Lise Meitner Award (2018)
- 2 Minutes Madness Best Poster and Presentation (2014)
Teaching Experience includes formal languages theory, database management, and communication networks at Grenoble INP - Ensimag. She also served on program committees for conferences like CADE, IJCAI, and IJCAR.
