leo@(this domain)

I am currently doing independent research in type theory, advanced functional programming, machine learning, and applications at Halfaya Research.

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

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