Software Engineer at Facebook. I love the Rust programming language, which is my language of choice for personal programming projects. I am highly interested in domains where mathematics and computer science strongly intersect: namely type theory, computability theory, and computer graphics.