News & features
Loading
In the news | Microsoft Research Blog
Microsoft Research receives IEEE Council honor
Citing 25 years of significant impact on software engineering research, the IEEE Computer Society Technical Council on Software Engineering has awarded Microsoft Research the 2016 TCSE Distinguished Synergy Award.
In the news | CAV
Ball shares 2001 CAV Award
For contributions to software model checking, specifically the development of the SLAM/SDV software model checker that successfully demonstrated computer-aided verification techniques on real programs.
In the news | ACM
Elected 2001 ACM Fellow
For contributions to software analysis and defect detection.