About

Hi, I’m a 2nd-year PhD student in Computer Science at UC Santa Cruz. I’m advised by Prof. Tyler Sorensen and a member of the LSD Lab. My research focuses on GPGPU systems, heterogeneous programming, and compiler infrastructure.

I am currently modeling GPU forward progress guarantees and concurrency semantics for SPIR-V using TLA+. You can also browse my publications, download my CV, or find project code on GitHub.