인호 교수님께서 '스마트 컨트랙트 정형명세 블록체인 핵심기술' 과제에 선정 되셨습니다.


- 과제명: 스마트 컨트랙트 정형명세 블록체인 핵심기술
- 연구책임자: 컴퓨터학과 인호 교수
- 연구기간: 2019. 4. 1. - 2020. 12. 31.
- 총연구비: 1,378,668천원(정부출연금 12억)
- 연구지원기관: IITP
- 연구내용
 o 스마트 컨트랙트 정형명세 기법
 o 스마트 컨트랙트 정형명세 모델링 기법
 o 스마트 컨트랙트 정형명세 자동 검증 기술