Max Willsey
mwillsey@eecs.berkeley.edu
https://mwillsey.com
Google Scholar
CV
Blog Posts
Introduction to Rust