The Move Prover
Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, 709637639977877, Junkil Park, Yoni Zohar, Clark Barrett, David Dill
People
Junkil Park
Research Scientist
I joined Novi in December 2019 as a research scientist for formal verification of smart contracts. Prior to that, I participated in the Assured Autonomy project in the assurance case team at NASA Research Park. I completed my PhD from University of Pennsylvania in 2018, where I participated in the DARPA HACMS project (High-Assurance Cyber Military Systems).
Interests
Formal methods, program verification
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