Daneshvar Amrollahi (Preferred)
Daneshvar Amrollahi
PhD student, Computer Science Department, Stanford University
Joined
January 2026
Names
Emails
****@stanford.edu (Confirmed)
****@cs.stanford.edu (Confirmed)
****@gmail.com (Confirmed)
****@epfl.ch
****@tuwien.ac.at
****@ut.ac.ir
Personal Links
Career & Education History
PhD student
Computer Science Department, Stanford University (cs.stanford.edu)
2024 – Present
Undergrad student
Electrical and Computer Engineering, University of Tehran, University of Tehran (ut.ac.ir)
2018 – 2023
Intern
Computer Science, EPFL (epfl.ch)
2022 – 2022
Intern
Informatik, Technische Universität Wien (tuwien.ac.at)
2021 – 2022
Advisors, Relations & Conflicts
Expertise
Autoformalization
Present
Neurosymbolic AI
Present
Publications
Co-Authors
- Aina Niemetz
- Andreas Humenberger
- Andrei Voronkov
- Andrew Reynolds
- Cesare Tinelli
- Chuyue Sun
- Clark W. Barrett
- David L. Dill
- Ethan Zhang
- Eva Maria Wagner
- Ezio Bartocci
- George Kenison
- Hossein Hojjat
- Laura Kovács
- Marcel Moosbrugger
- Mathias Preiner
- Miroslav Stankovic
- Moses Charikar
- Márton Hajdu
- Márton Hajdú
- Nikolaj S. Bjørner
- Petra Hozzová
- Philipp Rümmer
- Shan Lu
- Shuvendu K. Lahiri