# Eeshan Zele

> SWE @ Hive | CS and Math at UIUC

Location: San Francisco, California, United States
Profile: https://flows.cv/eeshan

Passionate about ensuring safety and reliability of AI systems.

## Work Experience
### Software Engineer @ Hive
Jan 2025 – Present | San Francisco Bay Area
ML Infra

### Safe Autonomy Researcher @ Reliable Autonomy Group @ University of Illinois Urbana-Champaign
Jan 2024 – Jan 2025
Advisor: Prof. Sayan Mitra
• Investigating indistinguishable sets computation for optimal SLAM in hybrid control system.
• Parallelized SMT solvers across GPUs to optimally compute indistinguishable sets for high-dimensional systems.
• Developed methodology to train and verify neural networks to compute indistinguishable sets for nonlinear systems, using SMT-verification and solver layers. Discovered major blindspots in car racing controllers.

### Software Engineer Intern @ Intel Corporation
Jan 2024 – Jan 2024 | Austin, Texas, United States
Worked with Atom DA FE team, developing tools for CPU model performance evaluation which are frequently used by DA team currently.

### Formal Methods Researcher @ Illinois Theorem Provers Lab @ Siebel School of Computing and Data Science
Jan 2022 – Jan 2024
Advisors: Prof. Talia Ringer, Hannah Leung
• Contributed to formal verification of Path ORAM.
• Designed memory access functions ensuring privacy-preserving RAM operations and proved correctness with Coq.


## Education
### Bachelor's degree in Mathematics and Computer Science
University of Illinois Urbana-Champaign


## Contact & Social
- LinkedIn: https://linkedin.com/in/eeshan-zele-ab6742256

---
Source: https://flows.cv/eeshan
JSON Resume: https://flows.cv/eeshan/resume.json
Last updated: 2026-04-11