Shaz Qadeer

Microsoft Research (United Kingdom), Microsoft (United States)

Papers

Total Citations

H-Index

About

Shaz Qadeer is a pioneering researcher in formal methods, programming languages, and distributed systems, with a particular focus on ensuring safety and correctness in complex, asynchronous environments. His major contributions lie in bridging the gap between high-level programming and formal verification, enabling developers to build reliable systems with mathematical guarantees. Qadeer is best known for introducing **Drona** (2017, 73 citations), a groundbreaking framework for distributed mobile robotics that allows teams of networked robots to coordinate tasks with formal correctness guarantees—a critical advancement for autonomous systems. He also co-developed **P**, a modular programming language for safe asynchronous programming, and has written extensively on challenges in programming safe robotics systems (2018). His work has been highly influential, with Drona alone accumulating over 70 citations, reflecting its impact on both academia and industry. Qadeer’s research empowers engineers to write provably correct code for safety-critical applications, from drone swarms to IoT devices, making him a key figure in the quest for reliable, verifiable software in an increasingly automated world.