About

I graduated with a computer science degree from Cornell University's College of Engineering in 2019, after trying out CS research under Nate Foster, then worked for a few years at Commure. I started my PhD at The University of Texas at Austin in Fall 2022 under Emmett Witchel. Here is my (probably outdated) resume. For now, you can find me:

• Tinkering with side projects on Github
• Practicing violin and guitar
• Playing volleyball, bouldering, and running
• Attending Austin Chinese Church
• Gaming (MapleStory, Factorio, Slay the Spire 2, and Hollow Knight: Silksong as of late)

Blogroll

I have learned a lot from the following blogs (in no particular order):

• Eli Bendersky: compilers, linkers, loaders
• Niko Matsakis: Rust, language design, type theory
• withoutboats: Rust, language design
• Daniel Lemire: SIMD
• Sunny Young de la Sota: Rust, compilers
• Julia Evans: Linux
• Justin Pombrio: programming languages
• Alex Kladov: Rust, semantic analysis
• Chris Fallin: compilers
• Mara Bos: concurrency
• Ralf Jung: Rust, language design
• Nelson Elhage: performance, systems
• Evan Ovadia: compilers, language design
• Hillel Wayne: formal verification, testing
• Graydon Hoare: Rust, language design
• Adrian Sampson: compilers
• Amos Wenger: Rust
• Yoshua Wuyts: Rust, language design
• Fangrui Song: compilers, linkers
• Sergey Davidoff: SIMD
• Peter Cordes: SIMD
• Nicolas Nethercote: Rust, performance
• Jon Gjengset: Rust
• Philipp Oppermann: operating systems
• Ibraheem Ahmed: concurrency
• David Lattimore: linkers
• Jakub Beránek: Rust, performance