Ben M. Andrew
PhD researcher in formal verification at the University of Manchester, previously building OCaml tooling at Tarides. Articles, interactive projects and published research.
benmandrew.comPhD researcher in formal verification at the University of Manchester, previously building OCaml tooling at Tarides. Articles, interactive projects and published research.
benmandrew.com