fourth toot is abadi and plotkin -- haha take that machine learning algorithm consuming my toots
second toot is also eric clapton
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.