Wolfram Schulte

Microsoft Research

Press Release -  Presentation: ICSE 2016 | 14-21 May 2016 

2016 Harlan D. Mills Award Recipient

"For research and research leadership contributions leading to major theoretical and practical advances in software verification."

Wolfram Schulte

Wolfram Schulte is a director of engineering in Microsoft's Developer Division, Redmond, USA, where he founded in 2012 the Tools for Software Engineers (TSE) team. TSE’s mission is to improve Microsoft’s engineering velocity, more specifically minimize the cycle time of the inner loop from code review, via build, code-analysis and test, to deployment. TSE tools and services are meanwhile used by more than thirty-five thousand developers within Microsoft.   
Before Wolfram ventured into product groups, Wolfram lead the Research in Software Engineering (RiSE) group, at Microsoft Research, Redmond, USA. While at RiSE Wolfram co-authored papers and build prototypes for many tools that Microsoft ships, including Linq, CodeContracts, Task Parallel Library, IntelliTest (Pex) and SpecExplorer. Wolfram also co-developed the experimental program verifiers  Spec# and VCC.
Before joining MSR in 1999, Wolfram worked at the University of Ulm (1993-1999, habilitation), at sd&m, a German software company (1992-1993), and at the Technical University Berlin (1987-1992, PhD).
Computing Now