Explore types.pl
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.
5
toots
9
followers
last active
PhD Student at Purdue advised by Ben Delaware. PL, formal methods, verification and synthesis.
1
toot
8
followers
last active
Formal Methods, Verification, Concurrency, Functional Programming!
1
toot
17
followers
last active
types are pretty errrrrrr uhhhh satisfactory
0
toots
2
followers
Never
last active
Recent Grad | Inerested in Type Theory and Fuctional Programming
0
toots
1
follower
Never
last active
Scheme48 -> MzScheme -> Racket
0
toots
2
followers
Never
last active
I do wibbly wobbly dependent typey wipey stuff. Programming Languages at Symbiont.
Formerly postdoc at University of Iowa and PhD at Portland State University.
0
toots
4
followers
Never
last active
Computer science graduate student, scientist, and avid reader. I love learning things and meeting new people! She/her
0
toots
3
followers
Never
last active