Arnav Dandu
Formal Verification Research @ UC San Diego
- Role
- Undergraduate Researcher at Uc San Diego Computer Science And Engineering Department Cse
- Location
- Amherst, MA, US
- LinkedIn followers
- 500 followers
Research & DevelopmentView LinkedIn profile
About Arnav Dandu
My research interests are automated formal verification, proof assistants, logic, type…
Experience
Undergraduate Researcher
Uc San Diego Computer Science And Engineering Department Cse
Feb 2025 — Present
Education
University of Massachusetts Amherst
Doctor of Philosophy, Computer Science
2026
UC San Diego
Bachelor of Science - BS, Mathematics
2022 — 2026
UC San Diego
Bachelor of Science - BS, Computer Science
2022 — 2026
Find verified contacts for anyone on LinkedIn
Unifers gives sales teams verified emails and direct dials, enriched profiles, and outreach that lands in the inbox.
Free plan included · No credit card required
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.