# Neel Somani

> Researcher & Entrepreneur

## About

Neel Somani is a researcher and entrepreneur focused on machine learning, formal methods, and blockchain technology.

## Background

- Education: UC Berkeley, triple major in math, computer science, and business (graduated 2019)
- Published research in computer security at UC Berkeley
- Former Software Engineer at Airbnb
- Former Quant Researcher at Citadel (commodities group)
- Founder of Eclipse (2022): Ethereum's fastest L2, powered by the SVM, raised $65M
- Angel investor in multiple $1B+ crypto protocols
- Current focus: philanthropy and machine learning research

## Site Structure

### Homepage
- URL: https://www.neelsomani.com
- Overview of Neel's background, career, and current work

### Research
- URL: https://www.neelsomani.com/research
- Selected research projects:
  - Symbolic Circuit Distillation (2025): Prove equivalence between human-readable programs and weight-sparse LLM circuits
  - Cuq (2025): Formal verifier for safety properties of Rust CUDA kernels
  - PrivGuard (2022): Type system to enforce privacy regulations (GDPR, HIPAA)
  - Duet (2019): Language and type system for static differential privacy enforcement
- Link to full CV at UC Berkeley

### Press
- URL: https://www.neelsomani.com/press
- Media coverage and press mentions

## External Links

- X/Twitter: https://x.com/neelsomani
- Substack blog: https://www.neelsomaniblog.com
- GitHub: https://github.com/neelsomani
- Google Scholar: https://scholar.google.com/citations?user=wvvgDUoAAAAJ
- UC Berkeley research page: https://www.ocf.berkeley.edu/~neel/
- Neel Somani Scholarship: https://www.neelsomanischolarship.com/
- Eclipse on Crunchbase: https://crunchbase.com/organization/eclipse-2e42
- Angel investments portfolio: https://www.chordventures.com/portfolio
- Instagram: https://www.instagram.com/neelsalami/
- TikTok: https://tiktok.com/@neelsalami
- LinkedIn: https://linkedin.com/in/neelsomani
- Crunchbase profile: https://www.crunchbase.com/person/neel-somani-68e3

## Research Areas

- Machine learning
- LLM interpretability
- Formal methods and verification
- Type systems
- Differential privacy
- Computer security
- Blockchain technology

## Contact

Connect via X: @neelsomani