Explore types.pl
Discover users based on their interests
pronouns: he/him/his
math and compsci major. numbers are epic.
Gay trans lady who also likes functional programming. ((λ (g) g) woman). (she/her)
Postdoc at the Max Planck Institute for Software Systems. Types, security, and categories.
Amateur student of PLT and philosophy. Interested in social ecology, (post)structuralism, (in)formal methods, emancipation, utopia.
PhD student at University of Maryland, workin in the PLUM lab with Mike Hicks. Interested in langauge-based security and memes.
PhD Student at Purdue advised by Ben Delaware. PL, formal methods, verification and synthesis.
Formal Methods, Verification, Concurrency, Functional Programming!
types are pretty errrrrrr uhhhh satisfactory
Recent Grad | Inerested in Type Theory and Fuctional Programming
Scheme48 -> MzScheme -> Racket
I do wibbly wobbly dependent typey wipey stuff. Programming Languages at Symbiont.
Formerly postdoc at University of Iowa and PhD at Portland State University.
Computer science graduate student, scientist, and avid reader. I love learning things and meeting new people! She/her