David R. MacIver (Preferred)
David R. MacIver
Researcher, Computing, CHI
Joined
March 2025
Names
Emails
****@chi-fro.org (Confirmed)
Personal Links
Career & Education History
Researcher
Computing, CHI (chi-fro.org)
2025 – Present
PhD student
Computer Science, Imperial College London (imperial.ac.uk)
2017 – 2020
Undergrad student
Mathematics, University of Cambridge (cam.ac.uk)
2001 – 2006
Advisors, Relations & Conflicts
Expertise
Software testing
2015 – Present
Property-based testing
2015 – Present
Random test-case generation
2015 – Present
Test-case reduction
2015 – Present