PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / PLDI 2017 (series) / ISMM 2017 (series) / Wolfram Shulte
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.
Affiliation:Facebook
Personal website: http://powerset.co/wolfram-schulte/
Contributions
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile
View general profile