Jack Williams (Preferred)
Jack Williams
Researcher, Microsoft
- Joined August 2022
Names
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