Worked at Microsoft on the C#/VB language design team where I developed async/await. Now working at Facebook on LSP and the Hack language server.