Registered user since Wed 22 May 2019
Name: Shaz Qadeer
Bio: Shaz Qadeer has worked at Facebook, Microsoft, HP, and Compaq. He has studied at the University of California at Berkeley and the Indian Institute of Technology at Kanpur.
Country: United States
Personal website: https://scholar.google.com/citations?user=EqIVfYcAAAAJ&hl=en
Research interests: Secure distributed systems, program verification, programming languages, software testing, software engineering
|SAS 2020||Author of Exact and Linear-Time Gas-Cost Analysis within the SAS-track|
|Show activities from other conferences|