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

Research

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.

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