Formal approaches to achieve accuracy of quantized neural network, Korea Model Optimization Program, Google Korea

2023.09.22~2024.09.21

- 현재 진행중

A Fundamental Technology for Modular Neural Network Verification (신경망 분해/통합 검증을 위한 원천 기술 연구), 삼성미래기술육성재단

2023.12.01~2026.11.30

- 현재 진행중

Formal verification on pKVM

- 현재 진행중

ADO: Atomic Distributed Objects - Distributed System Verification

- 현재 진행중

Neural Network Verification Methodology Development

- 현재 진행중

n tools for pKVM and verify it

- 현재 진행중

CertiKOS

- 현재 진행중

Quantization Benchmarks

- 현재 진행중

Smart Contract Synthesis

- 현재 진행중

Building a Tool to Automatically Synthesize Smart Contracts

- 현재 진행중