Formal methods researcher and tool developer. Using OCaml most of the time. But start to (re)learn C++ recently.