LOS ALAMITOS, Calif., 29 February 2016 – Dr. Wolfram Schulte, a director of engineering in Microsoft’s Cloud and Enterprise Division, Redmond, USA, has been selected to receive the IEEE Computer Society 2016 Harlan D. Mills Award “For research and research leadership contributions leading to major theoretical and practical advances in software verification.”
At Microsoft, Dr. Schulte founded in 2012 the Tools for Software Engineers (TSE) team. TSE’s mission is to improve Microsoft’s engineering velocity, and 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 used by more than thirty-five thousand developers within Microsoft.
Prior to founding TSE, Dr. Schulte lead the Research in Software Engineering (RiSE) group at Microsoft Research, Redmond, USA. While at RiSE Schulte co-authored papers and built prototypes for many tools that Microsoft ships, including Linq, CodeContracts, Task Parallel Library, IntelliTest (Pex) and SpecExplorer. Dr. Schulte also co-developed the experimental program verifiers Spec# and VCC.
Before joining Microsoft Research in 1999, Dr. Schulte 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).
The Harlan D. Mills Award recognizes researchers and practitioners who have demonstrated long-standing, sustained and meaningful contributions to the theory and practice of the information sciences, focusing on contributions to the practice of software engineering through the application of sound theory. Further information about the award, including a list of past participants, may be found at https://www.computer.org/volunteering/awards/mills.
The award consists of a $3,000 honorarium, museum-quality memento, and the invitation to give a talk during the 2016 International Conference on Software Engineering (ICSE), co-sponsored by IEEE Computer Society Technical Council on Software Engineering (TCSE).
