GitHub · CV · Writ­ing

Wel­come! Gavin Gray here. I’m a com­puter sci­en­tist, reader, and ama­teur barista ¶ I live and study in Zürich where I look at the human fac­tors of pro­gram­ming lan­guage design. I want the next gen­er­a­tion of pro­gram­ming lan­guages to be more acces­si­ble. My research cur­rently uses Rust and I’ve built tools that enable devel­op­ers to inspect two of its most novel con­cepts: own­er­ship and traits ¶ I built Aquas­cope, the first tool to auto­mat­i­cally gen­er­ate visu­al­iza­tions of Rust’s own­er­ship types. My cur­rent work builds a lens into Rust’s trait solver; the goal is to pro­vide atrait debug­ger” that works by ana­lyz­ing par­tial proof trees obtained from trac­ing the solver’s exe­cu­tion ¶ I’m com­plet­ing my Mas­ter’s degree in com­puter sci­ence at ETH Zürich with a major in sys­tems soft­ware.