Graduate student (advisor: Stephanie Weirich)
Department of Computer and Information
Science
University of
Pennsylvania
My research interests include mechanized metatheory for programming languages, practical programming with dependent types, and, more generally programming languages, logic, and type theory.
I have a separate page (kitby's Corner) devoted to assorted clippings and photos from my life outside of academics.