Gavin Gray

gavinleroy.comgavin.gray@inf.ethz.ch

Education

    Click here for a PDF.

    ETH Zürich

    Master of Science, Computer Science
    Sep. ’21 – Present

    University of Utah

    Bachelor of Science, Computer Science
    CGPA – 4.0 / 4.0 (Summa Cum Laude)
    May ’21

Publications

    A Grounded Conceptual Model for Ownership Types in Rust

    Will Crichton, Gavin Gray, Shriram Krishnamurthi 
    OOPSLA’23
      

    Debugging Trait Errors as Logic Programs

    Gavin Gray, Will Crichton 
    (workshop) HATRA’23
       

Experience

    Brown University

    Researcher
    Jun. ’23 – Aug. ’23
    • Extended the the Rust the trait-solver implementation, Chalk, to support proof tree construction.
    • Researched interactive debugging techniques and UI designs for debugging type errors.
    • Advised by Will Crichton and Shriram Krishnamurthi.

    ETH Zürich

    Researcher
    May ’22 – Sep. ’22
    • Spearheaded the memory-safety verification of the Scion router prototype.
    • Fixed 2 safety-critical memory vulnerabilities using the automated verifier Gobra.
    • Advised by João Pereira and Peter Müller.

    Goldman Sachs

    Software engineering intern
    Jun. ’21 – Aug. ’21
    • 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 developer intern
    Jun. ’20 – Aug. ’20
    • 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 Assistant
    Aug. ’19 – 21
    • Improved radio communication stability for the wireless ranging enabled node (WREN) network by 13% using nesC and distributed consensus algorithms.

Skills

    Functional programmingLisp, Racket, OCaml
    Systems programmingC/C++, Rust
    Web developmentTypeScript, React, HTML, CSS
    Research interestsPL design, compilers, formal methods, HCI
    LanguagesEnglish, Brazilian Portuguese, German

Projects

    • 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.
    • Engineered an implementation of the Optimization by Particle swarm Using Surrogates (OPUS) framework achieving a 4% (flop/cycle) speedup over existing implementations.
    • Achieved a 3.75% performance (flop/cycle) increase compared to optimized implementations of the Parallel Ripple Search pathfinding algorithm.

    GScheme

    OCaml

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

    AHJ Registry

    Django, MySQL, Vue.js

    • Web application facilitating the obtaining of and applying for a construction permit in the USA.
    • Bachelor's thesis project, currently maintained by Sunspec Alliance.

Teaching

    Concepts of Object-Oriented Programming

    Assistant—ETH Zürich
    Fall ’22 / ’23

    Data Modeling and Databases

    Assistant—ETH Zürich
    Spring ’22

    Database Systems

    Assistant—University of Utah
    Spring ’21

    Software Practice

    Assistant—University of Utah
    Fall ’20 / Spring ’21

    Digital Circuits

    Assistant—University of Utah
    Fall ’17 / Spring ’18

Awards

    UoU-Computer Science Outstanding Undergraduate Award2021
    Robert Henricks Scholarship2020
    University of Utah Flagship Scholarship2019
    American Nuclear Society Sophomore Scholarship2017
    ASUSU Sophomore Scholarship2017
    Utah State University Aggie Merit Scholarship2016
    Utah State Regents' Scholarship2016