Portrait of Shaz Qadeer

Shaz Qadeer

Principal Researcher

About

I am a member of the Research in Software Engineering group at Microsoft Research. My work aims to improve software reliability by providing programmers with automated tools to analyze their programs. Most of my work has focused on analysis of concurrent software.

Projects

Publications

Videos