Chris Casinghino

Programming Languages
Type Theory
Formal Methods

I'm currently a research scientist and group leader at Draper Labs in Cambridge, MA. My interests are in programming languages, type theory, and cyber security. At Draper, I've worked on projects ranging from the design and implementation of a policy language for a security coprocessor to static binary analysis tools.

Previously, I was a student in the Penn programming languages group. I worked with Stephanie Weirich on the design and use of dependently typed languages. I finished up my PhD in the fall of 2014.