Calvin Smith

PhD Candidate
University of Wisconsin - Madison
cjsmith (at) cs (dot) wisc (another dot) edu

Calvin Smith

About

I’m a 5th-year graduate student working for Aws Albarghouthi. I’m interested in program synthesis and type systems, and how both can be applied to lower the barrier of entry for tasks such as big-data processing or privacy-preserving computation.

My CV is available on request.

Publications

Workshops

Community

  • 2019 CAV AEC