Steve Zdancewic

@SteveZdancewic

Penn CIS Prof. interested in programming languages, type systems, logic, and verification.

Philadelphia

Joined October 2012

22 Following

122 Followers

0 Posts

This account doesn’t have any tweet

Try searching for another.