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

The Move Prover

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

CAV - October 21, 2020