Blogs (1) >>
VL/HCC 2020
Tue 11 - Fri 14 August 2020 Dunedin, New Zealand
Jack Williams

Registered user since Tue 2 May 2017

Name:Jack Williams

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

Country:United Kingdom
Affiliation:Microsoft Research
Personal website:


Show activities from other conferences

VL/HCC 2020-profile
View general profile