Shaz Qadeer's Home Page

Shaz's mugshot

Contact information

  • Address: One Microsoft Way, Redmond, WA 98052
  • Email:
  • Phone: (425) 707-9146
  • Fax: (425) 936-7329

Research interests

I am a member of the Software Reliability Research group at Microsoft Research. My work aims to improve software reliability by providing programmers with automated tools to analyze their programs.  I am interested in a variety of program analysis techniques, such as model checking, automated theorem proving, type systems, and run-time verification. Most of my work has focused on applying these techniques to analysis of concurrent software.



Recent publications

The following list contains my recent publications.  A complete list of my publications can be found here.

Selected talks