Jared Corduan
Staff AI Scientist at Stealth Startup
Mount Pleasant, South Carolina, United States
Summary
🤩
Rockstar🎓
Top SchoolJared Corduan is a Staff AI Scientist with 10 years of engineering experience who blends deep mathematical training (Ph.D. in Mathematics from Dartmouth) with hands-on systems and blockchain development. He led a team of Haskell engineers at Input Output (IOHK) building formal specifications and implementations for the Cardano ledger, and continues contributing to core Cardano repos focused on node CLI features and ledger serialization across protocol eras. Jared has built production-grade distributed systems—from healthcare blockchain integrations and identity/key-recovery schemes to trading infrastructure—and operationalized large data pipelines with Spark/Hadoop. His background shows rare fluency across formal methods, low-level serialization, and practical API and backend work in Python, Haskell and C++. Now at an early-stage AI startup, he pairs research rigor with shipping product-ready models and systems. Colleagues describe him as a pragmatic problem solver who surfaces subtle protocol correctness issues before they become outages.
10 years of coding experience
14 years of employment as a software developer
Irmo High SchoolBachelor of Arts (B.A.) Mathematics, Bachelor of Arts (B.A.) Mathematics at Grinnell CollegePh.D. Mathematics, Ph.D. Mathematics at Dartmouth College
Github Skills (16)
cryptocurrency10
data-structures10
deserialization10
serializable10
c-language10
cardano10
cbor10
cprogramming-language10
serializer10
haskell10
data-structure10
blockchain10
cli10
serialization10
json8
Programming languages (16)
Github contributions (5)
IntersectMBO/cardano-ledger
Sep 2018 - Jan 2023
The ledger implementation and specifications of the Cardano blockchain.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1500 reviews, 1548 commits, 1316 PRs in 4 years 4 months
Contributions summary:Jared appears to be contributing to the core ledger implementation of the Cardano blockchain, specifically focusing on transaction processing and related data structures. The commits indicate work on block serialization and deserialization, incorporating new features and optimizing existing functionalities. The contributions involve the Babbage era, suggesting an engagement in more recent protocol developments, and code refactoring from prior code repositories.
adablockchainplutuscryptocurrencyspecifications
IntersectMBO/cardano-node
Nov 2020 - Sep 2022
The core component that is used to participate in a Cardano decentralised blockchain.
Role in this project:Back-end Developer
Back-end DeveloperContributions:138 reviews, 40 commits, 32 PRs in 1 year 11 months
Contributions summary:Jared primarily contributed to the Cardano node by adding and modifying command-line interface (CLI) functionalities for querying the protocol state and ledger state. They implemented new CLI commands for querying ledger and protocol state, leveraging and integrating with existing components of the Cardano blockchain infrastructure. Furthermore, they were involved in creating and submitting update proposals, as well as modifying existing scripts for transitioning between different eras. The commits also included adjustments to the API for handling certificates and protocol parameters.
core-componentblockchainplutusdecentralisedcardano
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.