In Tezos, stakeholders govern the protocol.
Partnership with Korea University Blockchain Research Institue
작성일 2019.12.19
조회수 881
추천수 4
작성 2019.12.19
조회 881
추천 4

Partnership with Korea University Blockchain Research Institue

'Tezos Smart Contract Formal Verification and Audit for the Enterprise'

Professor In Ho(Korea University, Head of Blockchain Research Institue), President Lee Jinwoo(Tezos Korea Foundation), Professor Oh Hakju(Korea University)

Tezos Korea Foundation is pleased to announce its partnership with Korea University Blockchain Research Institute (hereinafter referred to as the KU BRI). Based on this partnership, the two organizations will develop Tezos smart contract research and a blockchain start-up incubation.


Two organizations will cooperate in three key areas. (1) formal verification and Audit of Tezos Smart Contract, (2) training and technical support for blockchain start-ups, and (3) blockchain service R&D for the enterprise.


Lee Jin-woo, President of the Tezos Korea Foundation, said, "The value of the Tezos platform is 'security' above all. Through this cooperation with the Korea University Blockchain Research Institute, we are able to provide safe and secure smart contracts to companies and institutions that want to use Tezos in Korea."


Professor In Ho, the head of BRI, said “I am very pleased to be able to apply the result of the development of 'Smart Contract Formal Specification Technology' sponsored by IITP under the Ministry of Science and ICT to Tezos. I think it is an opportunity to expand our research institute's technology overseas.


* IITP(Institue of Information & Communications Technology Planning & Evaluation,


Korea University ranks as 83rd world university and 12th Asia university in QS University Rankings. The KU BRI is a joint institute of various colleges and universities including law school, business school, information security school, and medical school. It also cooperates with LG Electronics, SK, Kyobo Life Insurance, Kim & Chang Law Firm, Blocko and etc.

2개의 댓글

KU BRI와의 멋진 협력 기대됩니다.~