Discover users based on their interests
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