leo@(this domain)

I am currently doing independent research in type theory and applications at Halfaya Research.

I am also a software engineer at Google in Seattle.

I am an alpine climb and scramble leader for the Mountaineers.

I currently focus on running and competitive racing as a member of Club Northwest.

On Unicorn Peak, May 17, 2015. Photograph by Bing Gao.