Hidenori Shinohara
Software Engineer at Succinct
New York, New York, United States
Summary
🤩
Rockstar🎓
Top SchoolHidenori Shinohara is a software engineer with 11 years of experience specializing in algorithms, distributed systems, and blockchain infrastructure. Based in New York, he has contributed to core Stellar infrastructure—improving tooling, load generation, and XDR protocol structures—and worked on formal verification of the Stellar Consensus Protocol using Ivy. His background spans Google data pipelines and MapReduce to hands-on C++ development, Docker/Kubernetes network simulations, and pioneering a ZK blackjack using Soroban smart contracts. He combines rigorous mathematical training (PhD work in mathematics) with practical production engineering, enjoying writing about what he learns on his personal site. Notably, he brings a researcher's attention to correctness to high-throughput, peer-to-peer systems, making him effective at bridging proof-driven design and real-world implementation.
11 years of coding experience
6 years of employment as a software developer
Mathematics, Mathematics at California State University - East BayDoctor of Philosophy - PhD (dropped out) Mathematics, Doctor of Philosophy - PhD (dropped out) Mathematics at Duke UniversityBachelor of Arts (B.A.) Mathematics with computer application, Bachelor of Arts (B.A.) Mathematics with computer application at University of MinnesotaNormandale Community College
English
Github Skills (8)
loadtest10
c-language10
cprogramming-language10
load-testing10
xdr10
system-design9
distributed-systems9
json7
Programming languages (10)
Github contributions (5)
stellar/stellar-core
May 2020 - Jan 2023
Reference implementation for the peer-to-peer agent that manages the Stellar network.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:425 reviews, 112 commits, 56 PRs in 2 years 8 months
Contributions summary:Hidenori primarily contributed to the core functionality of the Stellar network reference implementation. Their work included improving the display of account IDs in the `dumpxdr` tool, implementing a spike feature for the load generator, and adding new XDR structures for pull mode. These changes indicate involvement in enhancing the software's usability, performance, and features related to transaction processing.
agentconsensusp2pblockchainstellar-network
hidenori-shinohara/stellar-core
May 2020 - Dec 2022
stellar-core is the reference implementation for the peer to peer agent that manages the Stellar network
Contributions:230 commits, 2 PRs, 733 pushes in 2 years 7 months
agentp2pblockchainstellar-networkstellar
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.