Headshot of Shaz Qadeer
Headshot of Shaz Qadeer


Shaz Qadeer

Research Scientist

I joined Novi in November 2018. Before that I worked at Microsoft for more than 15 years, mostly in Research but also briefly in Azure. I work on the semantics and verification of Move bytecode. I am also interested in implementing verified distributed and concurrent systems.


Programming languages, program verification, concurrency

Latest Publications

The Move Prover

Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, 709637639977877, Junkil Park, Yoni Zohar, Clark Barrett, David Dill

CAV - 2020