Chris Casinghino

Programming Languages
Type Theory
Formal Methods

I'm currently a research scientist at Draper Labs in Cambridge, MA. My interests are in programming languages, type theory, and logic in general. Programs and proofs are much harder to write than necessary, but functional languages with very expressive type systems (like Haskell, Agda and Coq) hold great promise for letting us develop them faster and without errors.

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.