I am a director of engineering at Microsoft‘s Cloud and Enterprise division, Redmond, USA. (In Microsoft parlance, I am a partner group software engineering manager.)
I currently manage the Tools for Software Engineers (TSE) team, Microsoft’s main investment into building a single world class engineering system, addressing everything from code review, via build, test, and program analysis, to engineering insights. TSE tools and services are used by more than thirty-five thousand developers within Microsoft.
Prior to TSE, I managed the Research in Software Engineering (RiSE) team in Microsoft Research, Redmond, USA. RiSE is one of the world’s top software engineering research groups with particular emphasis on formal methods, programming languages and empirical software engineering.
My research interests include:
- software development tools, ranging from build, via program verification and analysis, to automated test,
- software engineering analytics, ranging from collecting data to prediction,
- programming languages, ranging from language design to runtimes.
I love building tools. I co-authored papers and build prototypes for many tools that Microsoft ships, including Linq, CodeContracts, Task Parallel Library, IntelliTest (Pex) and SpecExplorer. I also co-developed the experimental program verifiers Spec# and VCC, and the DSL framework Formula. For papers, see below.
I am the recipient of the 2016 Harlan D. Mills Award for “Research and research leadership contributions leading to major theoretical and practical advances in software verification”.