|visits||member for||4 years, 8 months|
|seen||Sep 21 '12 at 19:04|
Postdoctoral researcher at UPenn. My expertise is mostly substructural and otherwise interestingly nonstandard logics and type systems, and other theoretical programming language research stuff.
|bio||website||jcreed.org||visits||member for||4 years, 8 months|
|location||Philadelphia, PA||seen||Sep 21 '12 at 19:04|
52 Votes Cast
|all time||by type|