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

I can be reached via email at (hover to reveal). You can also find me on Google Scholar , GitHub , and Bluesky .