Sophie Tourretمشاهده پروفایل
پژوهشگر
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.







