{"id":5501,"date":"2016-02-29T09:00:10","date_gmt":"2016-02-29T17:00:10","guid":{"rendered":"https:\/\/blogs.msdn.microsoft.com\/msr_er\/?p=5501"},"modified":"2016-07-20T07:28:39","modified_gmt":"2016-07-20T14:28:39","slug":"ieee-honors-wolfram-schulte-for-research-leadership-contributions-to-program-verification","status":"publish","type":"post","link":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/blog\/ieee-honors-wolfram-schulte-for-research-leadership-contributions-to-program-verification\/","title":{"rendered":"IEEE Computer Society honors Wolfram Schulte for research leadership, contributions to program verification"},"content":{"rendered":"

By George Thomas Jr., Writer, Microsoft<\/em><\/p>\n

Software verification \u2014 the crucial process of assuring programs perform as expected \u2014 may not be top of mind for most of us.<\/p>\n

But considering its role in the development of just about anything based on software \u2014 which seemingly is nearly everything these days \u2014 its importance cannot be understated.<\/p>\n

And that\u2019s where Wolfram Schulte comes in.<\/p>\n

\"Wolfram<\/a>In his nearly two decade-long career at Microsoft, Schulte has made significant contributions to software development, including building program verifiers like Spec#<\/a> and VCC<\/a>, two widely used verification tools for programming in the C# and C environment, and Pex<\/a>, an automated unit testing tool for the .NET environment built on verification technology.<\/p>\n

On Monday, Institute for Electrical and Electronics Engineers announced that Schulte was selected to receive the IEEE Computer Society 2016 Harlan D. Mills Award (opens in new tab)<\/span><\/a>. The award honors Schulte\u2019s research and research leadership contributions, which have led to major theoretical and practical advances in software verification (opens in new tab)<\/span><\/a>.<\/p>\n

\u201cI am so humbled that the committee selected me for this prestigious award,\u201d Schulte said. \u201cI am still in absolute awe of the scientific work of earlier Mills awardees, including Mills (opens in new tab)<\/span><\/a> himself. I never imagined being among them.\u201d<\/p>\n

Schulte joined Microsoft in 1999.<\/p>\n

In 2008, he founded the Research in Software Engineering Group<\/a> (RiSE), a research group that focuses on bringing the latest software engineering advances to Microsoft\u2019s business. RiSE developed many foundational pieces for software verification. For instance, Z3 (opens in new tab)<\/span><\/a>, a high-performance automated theorem prover, won the ACM SIGPLAN Award<\/a> in 2015.<\/p>\n

Then, in the summer of 2012, he founded the Tools for Software Engineers team<\/a>, a product team that focuses on speeding up software development by working through issues such as code review, build, test and automated programming analysis.<\/p>\n

He is currently serving as a director of engineering for Microsoft\u2019s Cloud and Enterprise division.<\/p>\n

Schulte\u2019s career at Microsoft started out as a happy coincidence. At one time, he said he hadn\u2019t even considered a career outside of academia.<\/p>\n

\u201cI worked at a German university wanting to become a tenured professor,\u201d he said.<\/p>\n

But when a colleague asked if he wanted to interview with Microsoft, he said, \u201cI figured, why not? I have some time to kill.\u201d<\/p>\n

Some 16 years later, Schulte said he\u2019s stayed at Microsoft because of the opportunity to work on some of the toughest problems in computer science with the smartest researchers and product engineers he knows.<\/p>\n

\u201cAnd it\u2019s the impact,\u201d he added. \u201cHopefully changing the world of a billion users for the better.\u201d<\/p>\n

Related:<\/strong><\/p>\n

Tools for Software Engineers<\/a><\/p>\n

Research in Software Engineering<\/a><\/p>\n

Yong Rui wins IEEE Computer Society 2016 Technical Achievement Award<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

By George Thomas Jr., Writer, Microsoft Software verification \u2014 the crucial process of assuring programs perform as expected \u2014 may not be top of mind for most of us. But considering its role in the development of just about anything based on software \u2014 which seemingly is nearly everything these days \u2014 its importance cannot […]<\/p>\n","protected":false},"author":32627,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","msr-author-ordering":[],"msr_hide_image_in_river":0,"footnotes":""},"categories":[194483,194488,194463,194465],"tags":[194574,195871,186535,197031,186442,186580,186576,197795],"research-area":[13560],"msr-region":[],"msr-event-type":[],"msr-locale":[268875],"msr-post-option":[],"msr-impact-theme":[],"msr-promo-type":[],"msr-podcast-series":[],"class_list":["post-5501","post","type-post","status-publish","format-standard","hentry","category-mathematics","category-program-languages-and-software-engineering","category-systems","category-theory","tag-acm-sigplan","tag-ieee","tag-pex","tag-rise","tag-software-engineering","tag-spec","tag-vcc","tag-wolfram-schulte","msr-research-area-programming-languages-software-engineering","msr-locale-en_us"],"msr_event_details":{"start":"","end":"","location":""},"podcast_url":"","podcast_episode":"","msr_research_lab":[],"msr_impact_theme":[],"related-publications":[],"related-downloads":[],"related-videos":[],"related-academic-programs":[],"related-groups":[144812],"related-projects":[],"related-events":[],"related-researchers":[],"msr_type":"Post","byline":"","formattedDate":"February 29, 2016","formattedExcerpt":"By George Thomas Jr., Writer, Microsoft Software verification \u2014 the crucial process of assuring programs perform as expected \u2014 may not be top of mind for most of us. But considering its role in the development of just about anything based on software \u2014 which…","locale":{"slug":"en_us","name":"English","native":"","english":"English"},"_links":{"self":[{"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/posts\/5501","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/users\/32627"}],"replies":[{"embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/comments?post=5501"}],"version-history":[{"count":2,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/posts\/5501\/revisions"}],"predecessor-version":[{"id":236757,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/posts\/5501\/revisions\/236757"}],"wp:attachment":[{"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/media?parent=5501"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/categories?post=5501"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/tags?post=5501"},{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=5501"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=5501"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=5501"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=5501"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=5501"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=5501"},{"taxonomy":"msr-promo-type","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-promo-type?post=5501"},{"taxonomy":"msr-podcast-series","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-podcast-series?post=5501"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}