Headshot of Shaz Qadeer
Headshot of Shaz Qadeer


Shaz Qadeer

Research Scientist

I joined Meta FinTech (previously Novi) in 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