Leaderboard · People & Profiles
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.
People & Profiles0 clicks
Spent
$0
Nothing bid on this listing yet