Professor of computer science at UPenn. Interests include programming languages, types, software verification, property-based testing, and climate change.

ID: 477140505

linkhttps://cis.upenn.edu/~bcpierce calendar_today28-01-2012 21:50:35