Daejun Park
Daejun Park works on formal methods for verifying real-world software. His research has included JavaScript program verification, compiler translation validation and verifiable computation.
Daejun Park works on formal methods for verifying real-world software. His research has included JavaScript program verification, compiler translation validation and verifiable computation.