Shaz Qadeer

ACM Fellows

USA - 2021

citation

For contributions to software verification, software testing, and programming languages

Press Release