Wolfram Schulte, director of engineering for Microsoft's Cloud and Enterprise division, will receive the IEEE Computer Society 2016 Harlan D. Mills Award. for contributions that led to major theoretical and practical advances in software verification.
↧
