His research interests span programming languages and formal methods, with a particular focus in gradual typing, and the analysis of programs and languages.