Senior Software Engineer, Google Research. Background in mathematics. Interest in systems, frameworks, linux, music, neat ideas and difficult proofs.