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 programming language theorists and mathematicians. Or just anyone who wants to hang out.