Andrew Head -

Not registered as user yet

Name:Andrew Head

Affiliation:University of Pennsylvania

Contributions

VL/HCC 2023	PC Member in Program Committee
HATRA 2022	Author of Some Problems with Properties: A Study on Property-Based Testing in Industry within the Human Aspects of Types and Reasoning Assistants-track