Dr. Shaz Qadeer

Shaz Qadeer received a B.Tech. from the Indian Institute of Technology Kanpur in 1994. He received an M.S. and a Ph.D. from University of California at Berkeley in 1997 and 1999 respectively. Since November 1999, he has been at Compaq Systems Research Center. He is interested in the formal design and analysis of hardware and concurrent software systems, model checking and automated theorem proving.

Email: qadeer@pa.dec.com