The Move Prover
Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, 709637639977877, Junkil Park, Yoni Zohar, Clark Barrett, David Dill
People
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.
Interests
Formal methods, verification, programming languages, static analysis
Latest Publications
CAV - 2020
Fast and Reliable Formal Verification of Smart Contracts with the Move Prover
David Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, Emma Zhong