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
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, https://www.iitp.kr/en/main.it)
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.