I’m a computer scientist working at the intersection of programming languages, distributed systems, and software verification, together with my students and colleagues in the LSD Lab and collaborators around the world. I started this blog in 2013, during my fifth year of grad school.

Some history in reverse chronological order: Before I joined UC Santa Cruz as an assistant professor, I spent a few years as a research scientist at Intel Labs, where I worked on the River Trail and ParallelAccelerator projects and learned about neural network verification. In 2015, I completed my Ph.D. on LVars at Indiana University, where I was a member of the Programming Languages Group. In 2014, I co-founded !!Con, a conference about the joy, excitement, and surprise of computing. Starting in 2013, I was part of the residency program at the Recurse Center. During the summers of 2011 and 2012, I had a lot of fun helping bring the Rust programming language to its first several releases as an intern at Mozilla Research. I got my BA in Computer Science and Music from Grinnell College in 2004, then worked in industry for a few years before starting grad school.

Starting points

As of July 2022, there are 154 posts here. Here are some favorites:

I had been writing about my experiences as a researcher and student on LiveJournal for quite a while before finally starting a Grown-Up Blog™. To illustrate what my background is like and what laid the groundwork for this blog, here are a few posts from those ancient times:

Thanks for reading!