My thesis subject : improving the performance of SMT solvers Alt-Ergo
through the design, analysis, and optimization efficient OCaml data structures.
I'm currently working on Alt-ergo's SAT solver and Alt-Ergo's support for SMT-LIB2 language.
Alt-Ergo 2.2: Alt-Ergo tool paper [SMT2018]
Master Research Internship report: Post mortem analysis of the OCaml application memory pointers graph [Fr]
A bearded guy