Hi! I'm Albin Coquereau,
a Paris Saclay's PhD student in the VALS team


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.


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