I’m a Senior Principal Researcher in the RiSE (opens in new tab) group at MSR Redmond. My work covers various topics including type systems, program logics, functional programming, program ...

Stay up-to-date with the latest and best audio content from CBC Listen delivered to your inbox every two weeks.