Jack Williams

关于

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.