Isaac DeFrain is a passionate software developer and formal verification enthusiast with a strong background in pure mathematics. With experience as a Technical Lead at Quantifier and a formal verification expert at Viable Systems Inc, Isaac has made significant contributions to the blockchain field, particularly in TLA+ formal specifications and consensus algorithms. Currently pursuing a PhD, Isaac is self-taught in various functional programming languages, including Haskell and OCaml, and enjoys tutoring students in these subjects. In addition to programming, Isaac has an avid interest in rock climbing and is focused on expanding knowledge in category theory and related areas.
This person is not in the org chart
This person is not in any teams
This person is not in any offices