www.engboris.fr
@OCamlPro Paris, France PhD in theoretical computer science (mathematical logic)
Boris Eng