Chris Casinghino

Engineer / Researcher
Programming Languages
Type Theory
Formal Methods

I'm an engineer and researcher in the areas of programming languages, type theory, and cyber security. Currently, I'm working on OCaml as a compiler engineer at Jane Street.

Previously, at Draper Labs, I led projects ranging from the design and implementation of a policy language for a security coprocessor to development of static binary analysis tools.

Before that, 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.