Programming languages PhD. Software engineer at Google. Career goal: to give software developers knowledge and tools to help them reason about their programs.