Headshot of Junkil Park
Headshot of Junkil Park


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).


Formal methods, program verification

Latest Publications

The Move Prover

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

CAV - 2020