Jack Williams

Researcher, Microsoft
Joined
August 2022

Names

Jack Williams (Preferred)

Emails

****@microsoft.com (Confirmed)
, 
****@gmail.com (Confirmed)

Personal Links

Career & Education History

Researcher
Microsoft (microsoft.com)
2021 – Present
Postdoc
Microsoft (microsoft.com)
2019 – 2021
PhD student
University of Edinburgh, University of Edinburgh (ed.ac.uk)
2014 – 2019

Advisors, Relations & Conflicts

PhD Advisor
Philip Wadler
2014 – 2019
PhD Advisor
J Garrett Morris
2014 – 2019

Expertise

LLMs
, 
program synthesis
, 
planning & reasoning
, 
LLM evaluation
, 
code generation
, 
agents
2022 – Present
spreadsheets
, 
end-user programming
, 
user-centred programming language design
2017 – Present
type systems
, 
gradual typing
, 
contracts
, 
runtime verification
, 
dynamic languages
, 
functional programming
2014 – Present

Publications

View all 28 publications

Co-Authors

View all 58 co-authors