PhD, Formal Methods R&D Engineer at OCamlPro, interested in:

• SMT solving

• Constraint Programming

• Symbolic Execution

• Deductive Verification

• Formal Methods in general