SPLASH 2022 (series) / Will Crichton

Registered user since Wed 12 Sep 2018
Name:Will Crichton
Affiliation:Stanford University
Personal website:https://willcrichton.net
Twitter:https://twitter.com/wcrichton
Contributions
HATRA 2022 | Committee Member in Program Committee within the Human Aspects of Types and Reasoning Assistants-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2022-profile
View general profile
View general profile