
Hidenori Shinohara
SDF
Hidenori Shinohara is a software developer working on Stellar core. He has been working on formal models and proofs of the Stellar Consensus Protocol (SCP) as well as various simulation work.He is a former PhD student in mathematics at Duke University and has previously worked on data pipelines at Google.