Email
Phone
+1 (804) 475 0939

Experienced Software Engineer with a focus on blockchain development, smart contract design, and data integrity. Skilled in Haskell, Java, and PostgreSQL, with extensive background in building and maintaining critical blockchain infrastructure.

2021-04 —

Software Engineer

Developed simulations and maintained key components of the Kadena public blockchain, including the Chainweb-Data indexer.

Highlights

  • Created simulations to verify stability and correctness of blockchain's P2P and Mempool services.
  • Enhanced blockchain indexer (Chainweb-Data), optimizing schemas and queries for Pact module event data extraction in PostgreSQL.
  • Added search functionality to block explorer for account balance, contract code, and module event lookups.

2020-03 — 2021-04

Senior Software Engineer

Led key projects on the Tezos blockchain, including developing GUI tools and writing smart contracts in LIGO.

Highlights

  • Led development of Kiln, a GUI for Tezos baking and monitoring.
  • Refactored codebase for optimized distribution size, UI overhaul, and improved workflow efficiency.
  • Wrote fixed price sale smart contracts in LIGO for Tezos, tested with Typescript and Haskell.

2018-11 — 2020-02

Software Engineer

Implemented and optimized critical infrastructure for Kadena’s Chainweb blockchain, focusing on transaction processing and data consistency.

Highlights

  • Developed Checkpointer, a block-aware database backend using SQLite, integrating with the Pact service layer.
  • Built tools for load testing Chainweb and improved Checkpointer with performance benchmarks.
  • Maintained core blockchain projects, including Chainweb API, Block Explorer, and Pact Data ETL middleware.

2014-08 — 2015-08

Instructor

Taught advanced database systems, programming, and computer architecture courses.

Highlights

  • Courses taught: Advanced Database Systems, Java Programming, Information Assurance, and Computer Architecture.

University of Virginia 2010-08 — 2018-12

Electrical Engineering
PhD Candidate & Masters of Science

Virginia State University 2009-08 — 2010-08

Computer Science
Masters of Science

Cornell University 2005-08 — 2009-05

Electrical & Computer Engineering
Bachelors of Science

Programming Languages

  • Haskell
  • Java
  • Nix
  • Python
  • Docker
  • PostgreSQL
  • SQLite

Additional Languages

  • Clojure
  • JavaScript
  • TypeScript
  • C++
  • Octave
  • MATLAB

Basic Knowledge

  • Rust
  • Ocaml
  • Scheme
  • Common Lisp
  • Perl
  • HTML
  • PHP
  • MySQL