I am currently a Postdoc at Microsoft Research working on the Calc Intelligence project. My research is aimed at spreadsheet programming with a focus on safety, extensibility, and collaboration. I did my PhD at the University of Edinburgh working with Philip Wadler on contract semantics and gradual typing