Daneshvar Amrollahi
I am a second-year Computer Science PhD student at Stanford University, advised by Clark Barrett. I am broadly interested in Automated Reasoning.
In my undergrad, I worked on loop invariant generation, program synthesis, and scaling symbolic execution for verifying network functions.
Ping me if you want to chat!
Email: daneshvar [at] cs [dot] stanford [dot] edu
News
- [July 2025]: Our paper “Towards Improved Stability for SMT Solvers via Input Normalization” got accepted to FMCAD 2025.
- [June 2025]: Joined the Automated Reasoning Group of Amazon Web Services (AWS) in Santa Clara, California as an Applied Science Intern.
- [June 2025]: Passed my PhD qualifications exam and earned a Master’s degree in Computer Science.
- [Aug 2024]: Gave a talk Towards Improved Stability for SMT Solvers at the Center for Automated Reasoning (CENTAUR) annual meeting, Stanford University.
- [March 2024]: Our paper “Synthesis of Recursive Programs in Saturation” got accepted to IJCAR 2024.
- [Jan 2024]: Started my PhD in Computer Science at Stanford University.
Blog