Experience

Granola Systems Inc.

• Canada
• IT Services and IT Consulting
• 1 - 100 Employee

• Security Engineer & Software Developer

  • Dec 2022 - Present

  Mina Indexer * Drafted the original design for the Mina indexer * Wrote the original unit testing suite and mainnet testing binary * Designed and implemented canonical chain discovery algorithm * Identified and fixed performance bugs via flamegraph * Heavily contributed to all parts of the Mina indexer * Wrote the original implementation for our block downloading tool, Iggy Mina Integration Testing * Wrote a network runner agnostic abstract engine for integration… Show more Mina Indexer * Drafted the original design for the Mina indexer * Wrote the original unit testing suite and mainnet testing binary * Designed and implemented canonical chain discovery algorithm * Identified and fixed performance bugs via flamegraph * Heavily contributed to all parts of the Mina indexer * Wrote the original implementation for our block downloading tool, Iggy Mina Integration Testing * Wrote a network runner agnostic abstract engine for integration tests * Designed and implemented the communication data structures between the engine and network runners * Heavily contributed to the MiniMina Docker compose-based network runner Mina ZkApps Security & QA * Implemented and tested solutions to network security bugs * Wrote and tested zkapps (zero-knowledge smart contracts) for vulnerabilities * Contributed to O(1)'s zkapp cli tool Mina On-Chain Voting * Wrote our Python implementation of on-chain voting for MIPs Show less



Quantifier

• United States
• IT Services and IT Consulting

• Technical Lead, Software Developer & Formal Verification Expert

  • Dec 2018 - Present



RChain Cooperative

• Core Protocol, Smart Contract & Formal Verification Developer

  • Dec 2018 - Aug 2022

  Rholang & Scala Development * Wrote Rholang smart contracts for RChain's Proof of Stake consensus and other features https://github.com/rchain/rchain Research & Formal Verification * TLA+ formal specification of Casper PoS consensus Wrote a formal specification for CBC Casper and RChain's implementation https://github.com/Isaac-DeFrain/TLAplus/tree/master/Casper * Development of a structural-behavioral type system for Rholang and pattern-matching… Show more Rholang & Scala Development * Wrote Rholang smart contracts for RChain's Proof of Stake consensus and other features https://github.com/rchain/rchain Research & Formal Verification * TLA+ formal specification of Casper PoS consensus Wrote a formal specification for CBC Casper and RChain's implementation https://github.com/Isaac-DeFrain/TLAplus/tree/master/Casper * Development of a structural-behavioral type system for Rholang and pattern-matching https://github.com/Isaac-DeFrain/KFramework/tree/master/Languages/GroundedRho

• Technical Writer

  • Aug 2018 - Nov 2018

  Worked on a blog series that follows Greg Meredith's Introduction to the Design of Computational Calculi course. Additionally, I wrote other technical posts about consensus mechanisms, lambda and pi calculus, and software releases.



Onomy Protocol

• Software Development
• 1 - 100 Employee

• TLA+ & Formal Verification Expert

  • Mar 2022 - Jun 2022

  I improved and wrote several TLA+ formal specifications of Onomy Protocol's proprietary proof-of-stake consensus algorithm. I also instructed developers on how to implement the specifications in Rust.



Viable Systems Inc

• United States
• Software Development

• Ocaml & Formal Verification Developer

  • Dec 2020 - Mar 2022

  * Built specification conformance tools to verify the correctness of our node implementation * Wrote TLA+ specifications for various parts of the Tezos blockchain and node including everything from P2P handshaking protocols to task schedulers to the Tenderbake consensus algorithm * Directed and oversaw the translation of specifications into Rust implementations * Built proofs of concepts in OCaml



Tontine Trust

• Ireland
• Financial Services
• 1 - 100 Employee

• Haskell Developer & Model Builder

  • Aug 2020 - Dec 2020

  * Maintained and extended the internal Haskell libraries * Designed and analyzed models written in R



Wyzant

• United States
• Technology, Information and Internet
• 700 & Above Employee

• Mathematics, Computer Science & Programming Tutor

  • Mar 2020 - Dec 2020

  Providing excellent one-on-one learning sessions with students in: * Programming language concepts * Lambda calculus and combinatory logic, dependent type theory * Haskell: ADTs, data structures, interpreters, and parsers * OCaml: variants, parser generators, and recursion * Scala: parsers and pattern matching * SML: types, data structures, and recursion * Scheme: functional programming concepts



Johns Hopkins Center For Talented Youth (CTY)

• United States
• Primary and Secondary Education
• 200 - 300 Employee

• Course Instructor

  • Jun 2017 - Jul 2018

  Harrisburg, Pennsylvania Area I was the cryptology instructor for the older kids. Constantly created engaging course materials.



Kent State University

• United States
• Higher Education
• 700 & Above Employee

• Graduate Appointee/Instructor

  • Aug 2016 - Jul 2017

  Kent, Ohio



Johns Hopkins Center For Talented Youth (CTY)

• United States
• Primary and Secondary Education
• 200 - 300 Employee

• Teaching Assistant

  • Jun 2016 - Jul 2016

  Baltimore, Maryland Mathematical Logic



Kent State University

• United States
• Higher Education
• 700 & Above Employee

• Graduate Teaching Assistant/Instructor

  • Jun 2015 - May 2016

  Kent, Ohio

• Graduate Research Assistant

  • Aug 2014 - May 2015

  Kent, Ohio Study Ahlfors's Conformal Invariants and research in potential theory in the complex plane

• Graduate Teaching Assistant/Instructor

  • Aug 2010 - Aug 2014

  Kent, Ohio



Score At The Top Learning Centers & Schools

• United States
• Education Administration Programs
• 1 - 100 Employee

• Mathematics Tutor & Teacher

  • Nov 2009 - Jul 2010

  Palm Beach Gardens, FL



FAU - Honors College

• Math & Physics Tutor

  • Jan 2008 - May 2010

  Jupiter, FL