I am currently a PhD student at IRIT (Institut de Recherche en Informatique de Toulouse, France – location) in the LILaC and ADRIA team. I am under the supervision of Olivier Gasquet (IRIT), Dominique Longin (CNRS), Frédéric Maris (IRIT) and Andreas Herzig (CNRS).
Some extra information on me is available on the lab’s profile.
My PhD thesis consists in developing a tool and a language, TouIST (pronounced twist, standing for Toulouse Integrated Satisfiability Tool), that will allow us to express and solve real-world problems through the use of multiple logic theories: SAT, SMT and QBF for now.
MSc in Operations Research, 2016
Université Toulouse 3 – Paul Sabatier
BSc in Computer Science, 2014
Université Toulouse 1 – Capitole
A list of tutorials and lectures I gave as a teaching instructor.
Most publications are available on the lab’s publications page.