Research
My Phd subject was : Improving the SMT solver Alt-Ergo performance with a better integrated efficient SAT solver
[thesis and slides in french]
Publication
Alt-Ergo 2.2: Alt-Ergo tool paper [SMT2018]
Master Research Internship report: Post mortem analysis of the OCaml application memory pointers graph [Fr]
Software
Psmt2-frontend: A Parser + Typechecker for SMT-LIB2 language extended with prenex polymorphism
Teaching
2015-2017 teaching assistant for a C and system course and a Principles of programming languages course at ENSTA-Paristech .
About Me
A bearded guy