Grüezi! Der Herr Gavin Gray is a computer scientist, reader, and amateur barista ❧ He lives and studies in
Zürich where he researches the
human factors of
programming language design. He wants the next generation of programming languages to be more
accessible. His current research uses
Rust and he has built tools that enable developers to inspect two of its most novel concepts:
ownership and
traits ❧ Gavin built
Aquascope, the first tool to automatically generate
visualizations of
Rust’s ownership types. His current work builds a lens into Rust’s
trait solver; the goal is to provide a “trait debugger” that works by analyzing partial proof trees obtained from tracing the solver’s execution
❧ He is finishing his
Master’s degree in computer science at
ETH Zürich, majoring in
systems software.