Sat 26 - Thu 31 October 2013 Indianapolis, United States
Steve Zdancewic

Registered user since Tue 9 Jun 2015

Name: Steve Zdancewic

Country: United States

Affiliation: University of Pennsylvania

Personal website: http://www.cis.upenn.edu/~stevez

Research interests: Programming Languages, Type Theory, Logic


SPLASH 2013Author of Ironclad C++: A Library-Augmented Type-Safe Subset of C++ within the OOPSLA-track
Author of Teaching Induction with Functional Programming and A Proof Assistant within the SPLASH-E-track
Show activities from other conferences

SPLASH 2013-profile
View general profile