Principal Researcher and Research Manager, Microsoft Research. Interests include programming language design and implementation. https://bit.ly/2r7ppeR