Shaz Qadeer is Principal Researcher at Microsoft. He is interested in building correct and secure distributed systems. To achieve this goal, he has developed techniques for reasoning about asynchronous, concurrent, and fault-tolerant systems. He is currently trying to build a secure, available, and scalable Blockchain service atop Microsoft Azure.