Co-Founder and R&D engineer at Functori | Blockchains, Formal Methods, OCaml Dev
"Success is being able to move from failure to failure without losing one's enthusiasm"