Hi! I'm Albin Coquereau,
an OCaml developper at OCamlPro
working on the SMT solver Alt-Ergo

Research

My Phd subject was : Improving the SMT solver Alt-Ergo performance with a better integrated efficient SAT solver
[thesis and slides in french]

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