Eeshan Zele
Software Engineer at Hive
San Francisco, California, United States
Summary
👤
Senior🎓
Top SchoolEeshan Zele is a software engineer based in San Francisco with eight years of experience focused on safety and reliability of AI systems. He holds a PhD and completed postdoctoral work at MDU in Västerås, bringing deep research rigor to practical ML infrastructure and verification problems. His recent roles span ML infra at Hive and research positions at UIUC where he developed GPU-parallelized SMT solvers, trained and SMT-verified neural networks for indistinguishable-set computation, and uncovered critical blindspots in autonomous racing controllers. He also contributed formal verification work on Path ORAM using Coq, and built performance-evaluation tooling during an Intel internship—demonstrating fluency from low-level systems to high-dimensional verification. Known for pairing formal methods with scalable engineering, he excels at turning theoretical guarantees into production-ready tooling.
8 years of coding experience
Bachelor's degree, Mathematics and Computer Science, 4.0, Bachelor's degree, Mathematics and Computer Science, 4.0 at University of Illinois Urbana-Champaign
Github Skills (5)
sos9
verification8
simulation8
modelica8
simulator2
Programming languages (1)
Github contributions (5)
zele-git/tuttes-implementation
May 2018 - Jul 2022
Contributions:1 push, 1 branch in 4 years 2 months
zele-git/JADE4SoS
Mar 2022 - Apr 2022
Contributions:21 commits, 18 pushes, 1 branch in 25 days
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.