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