PhD Student at Purdue advised by Ben Delaware. PL, formal methods, verification and synthesis.
👋
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.