Watch / K Semantic Model of Beacon Chain

K Semantic Model of Beacon Chain

  • YouTube
  • IPFS
  • Details

K Semantic Model of Beacon Chain

Duration: 00:11:55

Speaker: Daejun Park

Type: Talk

Expertise: Advanced

Event: Devcon 5

Date: Oct 2019

Daejun Park gives an overview of the K-Semantic Model of the Beacon Chain.


About the speakers


Daejun Park

Daejun Park is interested in applying formal methods to real-world systems and applications. He has worked on formal verification of challenging JavaScript programs, translation validation of the LLVM x86 backend, and verifiable computing for the deep neural network training. He had also served as a founding member and a technical lead in Sparrow, a startup that develops static program analysis tools for C/C++ and Java, which was acquired by Fasoo in 2010. He received his B.S. and M.S. degrees in Computer Science and Engineering from Seoul National University. He is currently pursuing his Ph.D. at UIUC in formal semantics-based program verification.

  • Related