Not registered as user yet
Name: Wolfram Shulte
Bio: Wolfram Schulte was director of engineering in Microsoft’s Cloud and Enterprise Division, Redmond, USA, where he founded the Tools for Software Engineers team 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. Before venturing into product groups, Wolfram lead the Research in Software Engineering (RiSE) group and worked for many tools that Microsoft ships, including Linq, CodeContracts, Task Parallel Library, IntelliTest and SpecExplorer. Wolfram also co-developed the experimental program verifiers Spec# and VCC. Wolfram is a recipient of the 2016 Mills Award.
Personal website: http://powerset.co/wolfram-schulte/
POPL 2018 Activities