Calvin Smith (Preferred)
Calvin Smith
Researcher, OpenHands
Joined
September 2025
Names
Emails
****@all-hands.dev (Confirmed)
****@cjsmith.io (Confirmed)
Personal Links
Career & Education History
Researcher
OpenHands (all-hands.dev)
2024 – Present
Postdoc
Department of Computer Science, University of Texas at Austin (utexas.edu)
2020 – 2022
PhD student
Department of Computer Sciences, University of Wisconsin - Madison (wisc.edu)
2014 – 2020
Advisors, Relations & Conflicts
Expertise
Programming Languages
Present
Formal Methods
Present
Program Synthesis
Present
Neurosymbolic Methods
Present