David R. MacIver

Pronouns: he/him

Researcher, Computing, CHI

  • Joined March 2025

Names

David R. MacIver (Preferred)

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

PhD Advisor
2017 – 2020
 

Expertise

Software testing
2015 – Present
 
Property-based testing
2015 – Present
 
Random test-case generation
2015 – Present
 
Test-case reduction
2015 – Present