Hidenori Shinohara

Hidenori Shinohara is a Software Engineer with experience at Succinct, Stellar Development Foundation, and Google. Hidenori worked on formal verification projects at Stellar Development Foundation and data pipelines at Google. Hidenori pursued a PhD in Mathematics at Duke University but dropped out, holding a Bachelor's degree from the University of Minnesota.