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