Scholar
Harrison Goldstein
Google Scholar ID: CYSX6tgAAAAJ
University of Maryland
Citations & Impact
Citations
155
H-index
7
i10-index
6
Publications
20
Co-authors
0
Publications
Resume (English only)
Academic Achievements
- Recipient of SIGPLAN’s John C. Reynolds Doctoral Dissertation Award (2025)
- Recipient of the Morris and Dorothy Rubinoff Award from UPenn CIS (2025)
- Published in top-tier venues including OOPSLA 2025, UIST 2025, PLDI 2024, ICSE 2024, ICFP 2023
- Distinguished Paper Award at ICSE 2024 for 'Property-Based Testing in Practice'
- Distinguished Paper Award at ICFP 2023 for 'Reflecting on Random Generation'
Background
- PhD in Computer and Information Science from the University of Pennsylvania, advised by Professor Benjamin C. Pierce
- Currently Assistant Professor in the Department of Computer Science and Engineering at the University at Buffalo
- Research focuses on making software development safer and more effective by building user-centered software validation tools
- Primary research area is programming languages, drawing motivation and techniques from software engineering and human-computer interaction
- Current projects center on theoretical, practical, and human aspects of property-based testing and formal methods
- Enjoys collaboration and welcomes discussions with interested researchers
Co-authors