University of Iowa / University of Pennsylvania / /
IndustryTerm
related systems / /
Organization
National Science Foundation / CIS Dissertation Committee / the University of Pennsylvania / University of Iowa / Penn PL Club / /
Person
Aaron Bohannon / Michael Greenberg / Steve Zdancewic / Karl Mazurak / Tim Sheard / Daniel Wagner / Harley Eades / Garrin Kimmell / Peter-Michael Osera / Stephanie Weirich Dependently / Benjamin C. Pierce / Brent Yorgey / Nathan Collins / Vilhelm Sjöberg / Aaron Stump / Tait Method / Stephanie Weirich / Jean Gallier / /
Position
Supervisor / advisor / Associate Professor of CIS Graduate Group / Professor of CIS Graduate Group Chairperson Lyle Ungar Professor / Chair / Professor of Computer Science / General / Associate Professor / Professor of CIS / /
COMBINING PROOFS AND PROGRAMS Chris Casinghino A DISSERTATION in Computer and Information Science Presented to the Faculties of the University of Pennsylvania