PhD student at University of Maryland, workin in the PLUM lab with Mike Hicks. Interested in langauge-based security and memes.
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.