I am currently employed by SQUAD and am currently contracted to Orange (Toulouse, France). I work on tools for developers, examples and documentation in order to improve the developer experience when it comes to using the Orange IT’s private cloud. I also try to promote and find new ways to guide people into sharing their own code as well getting the most out of Orange’s internal GitLab.
Since Oct. 2016, I am also a PhD student at IRIT (Institut de Recherche en Informatique de Toulouse, France – location) in the LILaC and ADRIA team. The manuscript is ready and I will be defending in early 2019.
My PhD work is supervised by Olivier Gasquet (IRIT), Dominique Longin (CNRS), Frédéric Maris (IRIT) and Andreas Herzig (CNRS). My goal is to develop 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.
Toulouse integrated satisfiability tool. it is prononced twist. we were looking for a memorable and pronounceable name that had no homonym on google. and it had to sound like fun, too!
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.
Jun 25, 2018, Constraint Satisfaction Techniques for Planning and Scheduling Workshop
Nov 5, 2017, Talk at the 3rd meeting of the workgroup on Multi-Agent, Flexible, Temporal, Epistemic and Contingent planning (MAFTEC)
Oct 6, 2016, Talk at the Information, Signal, Image and ViSion (ISIS) group meeting