Chris Casinghino

Engineer / Researcher
Compilers
Programming Languages
Type Theory
Formal Methods
Security
email: chris.casinghino@gmail.com

I'm an engineer and researcher with interests in programming languages, type theory, and cyber security. I work 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.