À propos
I am a Senior Researcher at Microsoft Research working on the Calc Intelligence project. My research is currently aimed at spreadsheet programming with a focus on safety, extensibility, and collaboration.
I helped design and build Calc.ts, the calc engine used by Excel for the web.
I collaborate with the Fluid Framework.
I did my PhD at the University of Edinburgh working with Philip Wadler on contract semantics and gradual typing.
I try and contribute to the TypeScript compiler when I can.