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

CAV - October 21, 2020

The Move Prover

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