• IEEE.org
  • IEEE CS Standards
  • Career Center
  • About Us
  • Subscribe to Newsletter

0

IEEE-CS_LogoTM-orange
  • MEMBERSHIP
  • CONFERENCES
  • PUBLICATIONS
  • EDUCATION & CAREER
  • VOLUNTEER
  • ABOUT
  • Join Us
IEEE-CS_LogoTM-orange

0

IEEE Computer Society Logo
Sign up for our newsletter
IEEE COMPUTER SOCIETY
About UsBoard of GovernorsNewslettersPress RoomIEEE Support CenterContact Us
COMPUTING RESOURCES
Career CenterCourses & CertificationsWebinarsPodcastsTech NewsMembership
BUSINESS SOLUTIONS
Corporate PartnershipsConference Sponsorships & ExhibitsAdvertisingRecruitingDigital Library Institutional Subscriptions
DIGITAL LIBRARY
MagazinesJournalsConference ProceedingsVideo LibraryLibrarian Resources
COMMUNITY RESOURCES
GovernanceConference OrganizersAuthorsChaptersCommunities
POLICIES
PrivacyAccessibility StatementIEEE Nondiscrimination PolicyIEEE Ethics ReportingXML Sitemap

Copyright 2026 IEEE - All rights reserved. A public charity, IEEE is the world’s largest technical professional organization dedicated to advancing technology for the benefit of humanity.

  • Home
  • /Profiles
  • Home
  • /Profiles

Wolfram Schulte

Award Recipient

Featured ImageWolfram Schulte is a director of engineering in Microsoft's Developer Division, Redmond, USA, where he founded in 2012 the Tools for Software Engineers (TSE) team. TSE’s mission is 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. TSE tools and services are meanwhile used by more than thirty-five thousand developers within Microsoft.

Before venturing into product groups, Wolfram led the Research in Software Engineering (RiSE) group at Microsoft Research, Redmond, USA. While at RiSE he co-authored papers and built prototypes for many tools that Microsoft ships, including Linq, CodeContracts, Task Parallel Library, IntelliTest (Pex) and SpecExplorer. Wolfram also co-developed the experimental program verifiers  Spec# and VCC.

Before joining MSR in 1999, 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).

Learn more about Schulte.


Presentation: Analyzing Engineering Process Data at Microsoft: What's the Opportunity? 

From IEEE Software magazine's Software Experts Summit on 17 July 2013.

Awards

2016 Harlan D. Mills Award
“For research and research leadership contributions leading to major theoretical and practical advances in software verification.”
Learn more about the Harlan Mills Award

LATEST NEWS
Creating the Next Generation of Connected Autonomous Systems: an Interview with Weisong Shi on Edge Computing, Autonomous Driving, and the Future of Mobility
Creating the Next Generation of Connected Autonomous Systems: an Interview with Weisong Shi on Edge Computing, Autonomous Driving, and the Future of Mobility
Call for Nominations: IEEE Computer Society Opens Submissions for the “AI’s 10 to Watch” Award
Call for Nominations: IEEE Computer Society Opens Submissions for the “AI’s 10 to Watch” Award
Episode 1 | Interview with Michelle Tomes
Episode 1 | Interview with Michelle Tomes
Celebrating Excellence: 2025 IEEE Transactions on Mobile Computing Awards
Celebrating Excellence: 2025 IEEE Transactions on Mobile Computing Awards
Tech Horizons: Building AI Skills and Confidence in Panama’s Youth
Tech Horizons: Building AI Skills and Confidence in Panama’s Youth
Read Next

Creating the Next Generation of Connected Autonomous Systems: an Interview with Weisong Shi on Edge Computing, Autonomous Driving, and the Future of Mobility

Call for Nominations: IEEE Computer Society Opens Submissions for the “AI’s 10 to Watch” Award

Episode 1 | Interview with Michelle Tomes

Celebrating Excellence: 2025 IEEE Transactions on Mobile Computing Awards

Tech Horizons: Building AI Skills and Confidence in Panama’s Youth

TechMovel: Expanding Digital Access in Brazil

InfiLab Podcast: Fueling Your Tech Career with Sowmya Chintakindi

How Hardware-Level Security Enhances Operational Visibility and Resilience

Get the latest news and technology trends for computing professionals with ComputingEdge
Sign up for our newsletter