WELCOME to TKF

Tezos Korea Foundation

어서오세요. Tezos Korea Foundation입니다.

What TKF do

Tezos Korea Foundation은 테조스의 건전한 생태계 조성을 위해서 

교육, 산업지원을 비롯한 다양한 비영리 사업을 진행합니다.

교육 지원

블록체인, 함수형 언어에 관심있는 엔지니어들에게 Formal verification, Smart contract, OCaml 등의 교육을 제공합니다.

엔지니어 지원

국내 유수의 엔지니어를 교육/발굴하고, 컴퓨터 공학, 함수형 프로그래밍 언어 분야의 박사과정 등을 지원합니다.

국내 대학/기업과의 파트너쉽

국내 대학과의 산학협력을 통해 기술연구를 지원하고, 기업과의 파트너쉽, 컨설팅을 통해서 기술 저변을 확대합니다.

Tezos in science

Formal Verification

윈도우가 예상치 못한 에러로 멈추는 것은 사용자에게 그저 귀찮은 문제였습니다.

하지만 금융, 의료, 원자력, 항공, 우주 산업 등에서의 오류는 대단히 치명적입니다.

테조스의 Formal verification은 Zero bug를 구현하고, 
블록체인 덕분에 24시간 지속되므로 굉장히 안정적인 기술입니다.

심지어 이것은 테조스가 가지고 있는 수 많은 장점 중의 하나일 뿐입니다.

+ 0 H
Scalability
100 %
Zero Bug
X
Productivity

meet our members

Directors

Doo-Won Seo

Director

Leader of Tezos Korea Community

Executive Director of TKF

스크린샷 2018-10-01 오후 11.53.38

Jin-Hwa Kim

Director

Director of Korea Blockchain Association

Co-Founder of Korbit

스크린샷 2018-10-01 오후 11.54.52

Ho-Seok Jung

Director

Lawyer of Seum Lawfirm

Advisory lawyer of

Huobi Korea, Hashed, Mediblock

스크린샷 2018-10-01 오후 11.53.54

Yong-Ju Kang

Director

Head of Anapa Hospital

Head of Kwang-Ju Trauma Center

Diego Ponz

Director

Technical Advisor of TCF(Tezos Commons Foundation)

Caleb Kow

Director

Founder of Tezos ID

Director of TSA(Tezos South-East Asia Association)

Get in touch

Tezos Korea Foundation은 

Computer science(OCaml, Formal verification, Smart contract)를 

비롯한 다양한 분야에서 제안을 기다리고 있습니다.

Contact us

Contact area

  • Computer science
  • Partnership
  • Consulting for industry