Gavin Gray

gavinleroy.com

education

Brown University

Ph.D. in Computer SciencePresent

ETH Zürich

M.S. in Computer ScienceMay202424

University of Utah

B.S. in Computer ScienceMay202121
  • GPA 4/4, Summa Cum Laude

publications

A Grounded Conceptual Model for Ownership Types in Rust

OOPSLA202323Will CrichtonGavin GrayShriram Krishnamurthi

Debugging Trait Errors as Logic Programs

HATRA202323Gavin GrayWill Crichton

experience

Brown University

Research AssistantJun202323–Aug202323
  • Extended the Rust Analyzer trait-solver, Chalk, to support proof tree construction.
  • Researched interactive debugging techniques and UI designs for debugging type errors.

ETH Zürich

Research AssistantMay202222–Sep202222

Goldman Sachs

Software Engineering InternJun202121–Aug202121
  • Integrated Access Fintech into the GS reconciliation platform using Java, Kafka, and Pure.
  • Reduced human actions by 40% and increased data availability across business units.

Epic Systems Corporation

Software Engineering InternJun202020–Aug202020
  • Implemented and tested various metrics to determine physician similarity.
  • Deployed a physician suggestion engine into the Epic Earth platform using C#, Python, and Flask.

University of Utah School of Medicine

Research AssistantJun201919–May202121
  • Improved radio communication stability for the Wireless Ranging Enabled Node (WREN) network by 13% using nesC and distributed consensus algorithms.

skills

Research Interests

 Programming LanguagesType TheoryFormal MethodsHuman-Computer Interaction

Functional Programming

 LispRacketOCaml

Systems Programming

 RustCC++

Web Development

 TypeScriptReactHTMLCSS

Languages

 EnglishBrazilian PortugueseGerman

projects

Aquascope

  • Implemented a compiler plugin to automatically generate visualizations of Rust ownership types. Deployed online in The Rust Book Experiment used by 50,000+ Rust learners.

High-Performance OPUS Framework

  • Engineered an implementation of the Optimization by Particle swarm Using Surrogates (OPUS) framework achieving a 4% (flop/cycle) speedup over existing implementations.

Parallel Ripple Search

  • Achieved a 3.75% performance (flop/cycle) increase compared to optimized implementations of the Parallel Ripple Search pathfinding algorithm.

GScheme

  • Impelemented a subset of the R6RS Scheme specification emphasizing hygienic macro expansion.

teaching

Concepts of Object-Oriented Programming

ETH Zürich202222202323

Data Modeling and Databases

ETH ZürichSpring 202222

Database Systems

University of UtahSpring 202121

Software Practice

University of Utah202020202121

Digital Circuits

Utah State University201717201818

awards

Outstanding Undergraduate Award

202121

Robert Henricks Scholarship

202020

University of Utah Flagship Scholarship

201919

American Nuclear Society Sophomore Scholarship

201717

ASUSU Sophomore Scholarship

201717

Utah State University Aggie Merit Scholarship

201616

Utah State Regents’ Scholarship

201616