About Me

I am an incoming Assistant Professor of Computer Science at Cal Poly. I am broadly interested in helping programmers build provably correct and performant software, using techniques from programming languages and formal methods.

I received my Ph.D. from UC Santa Barbara, advised by Yu Feng. Prior to that, I obtained my undergraduate degree at Vassar College and my M.S. from Yale University.

Contact

• Email: <hover to reveal>
• Office: 14-205 (map)
• Other Links: Google Scholar , GitHub , and Bluesky .