Work

2022 - current

Facebook/Meta on Flow

2019 - 2022

Writing

"Is Polar Turing-Complete?" (article)

Oso Blog, December 2023

"Why I don't play Pokemon" (article)

Oso Blog, August 2022

"How I Implemented Type Inference for Request Validation" (article)

Oso Blog, August 2022

"Program Equivalence for Assisted Grading of Functional Programs" (pdf) (extended version)

Published in OOPSLA 2020

"Zeus: Algorithmic Program Equivalence" (pdf)

Senior Honors Thesis, 2019

DominAI A server that lets you write code to play the card game Dominion
Would I Lie to You? An app for playing a party game based on a British game show