Daneshvar Amrollahi
Research Assistant at Stanford University
Palo Alto, California, United States
Summary
👤
Senior🎓
Top SchoolDaneshvar Amrollahi is a Stanford Computer Science PhD student and research assistant with a decade of experience building program verification and synthesis tools. He has contributed to state-of-the-art theorem provers and static analyzers—integrating recursive program synthesis into Vampire and extending loop-invariant generation in Polar, work that earned a Radhia Cousot Young Research Best Paper Award. His internships at EPFL, ETH Zürich, and TU Wien focused on scaling symbolic execution and verifying initialization code, demonstrating a practical bent for turning theoretical methods into robust tooling. He also spent time as an applied scientist in AWS’s Automated Reasoning Group, blending research rigor with applied cloud-scale problems. Based in Palo Alto, he brings deep formal methods expertise plus hands-on systems experience across compilers, symbolic engines, and verification pipelines. Colleagues describe him as someone who pairs mathematical precision with an eye for pragmatic implementation details that make formal techniques usable in practice.
10 years of coding experience
High School Diploma, Mathematics, GPA: 19.48 / 20.00, High School Diploma, Mathematics, GPA: 19.48 / 20.00 at Allameh Tabatabaei High SchoolBachelor's degree, Computer Engineering, Bachelor's degree, Computer Engineering at University of TehranDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Stanford University
Stackoverflow
73reputation
3kreached
1answer
7questions
Github Skills (31)
modulo10
bnf9
satisfiability9
sat9
theorem9
smt8
sat-solver8
compiler-construction8
bnfc8
abstract-syntax-tree8
pretty-print7
converter7
parser-generator7
lexical-analysis7
theorem-proving7
Programming languages (6)
Github contributions (5)
daneshvar-amrollahi/cvc5
Jan 2024 - Mar 2025
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Contributions:6 reviews, 3 PRs, 189 pushes in 1 year 2 months
daneshvar-amrollahi/Digital-Logic-Design-Lab
Dec 2020 - Jun 2021
Contributions:3 commits, 2 pushes, 1 branch in 6 months
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.