Headshot of Emma Zhong
Headshot of Emma Zhong


Emma Zhong

Software Engineer

I joined Novi in April 2020 as a Software Engineer working on the Move Prover, a formal verification system for smart contracts written in the Move language. Prior to joining Novi, I was a research assistant to Prof. Clark Barrett in the Computer Science department at Stanford University, where I obtained my Master’s. I graduated with Bachelor’s degrees in CS and ECE from Carnegie Mellon University.


Formal methods, verification, programming languages, static analysis

Latest Publications

The Move Prover

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

CAV - 2020