I've sung with the BYU Men's Chorus and I play the piano. Other hobbies include swimming and hiking—Utah has some of the most diverse landscape anywhere in the US: from dense forests to barren desert. If you visit, I highly recommend checking out some of the national parks.

I have been married to my wife Sarah since 2018; we met when we were in high school and she's been my best friend ever since. You can see her blog here. We became parents in the summer of 2021 and couldn't be happier!

I served a two-year mission for the Church of Jesus Christ of Latter-day Saints in Germany. Consequently, I speak fluent German and have a great appetite for German food. My wife and I were able to visit Berlin for a few months in 2019. If you're interested in visiting Europe, Berlin is a must.

I'm a command line addict; most of my work is done with Emacs. Over the past year or two I've made some extensive modifications to my configuration. You can get my .emacs config files on my GitHub repo.

This blog is primarily where I'll post about research, school, and programming. I'm studying programming languages, though my interests are not strictly constrained to any one field. I like literature and philosophy, so there will be the occasional book review that I'll post under my personal section. I change my mind a lot; I'm still learning, so things written here should not be understood as an immutable reflection of my opinions.