I am a Computer Scientist and Staff Software Engineer with expertise and experience in programming languages, formal methods, compilers, hardware accelarators, and probability theory -- and building the infrastructure and low-level distributed systems powering Google.