Computer science PhD student at the University of Utah, researching compiler verification with @regehr.
UNIX historian and archivist.
Occasional Rust standard library contributor.

Distributed systems, operating systems, networking research.

Principal Researcher, Microsoft Research; affiliate faculty, University of Washington.

But realistically: mainly cat photos, food and wine, and bad jokes.

I also administer https://discuss.systems/

USPS City Carrier, Louisville, KY. 4K movie collector, music lover, technologist, and disc golfer. Celebrate diversity! He/they. This is my primary Mastodon account.

Banner: Lou skyline in b/w mirrored in the Ohio River.

Profile: Blurry photo of a person with their hand blocking most of their face, w/ Mastodon logo in top-right.