The Move Prover
Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, 709637639977877, Junkil Park, Yoni Zohar, Clark Barrett, David Dill
People
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
Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, 709637639977877, Junkil Park, Yoni Zohar, Clark Barrett, David Dill
David Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, Emma Zhong