Business social network with 4.5M professionals

Open in app
今井宜洋
今井宜洋
今井宜洋

今井宜洋

DMM Crypto / Blockchain Engineer
19Connections18Followers
Message
Register to view full profile

今井宜洋

DMM Crypto / Blockchain Engineer

Message
Register to view full profile

Self Introduction

Available to logged-in users only

Log in to continue

DMM Crypto4 years

Blockchain Engineer(Side)Present

- Present

形式検証

産業技術研究所4 years

デジタルアーキテクチャ研究所Present

- Present

証明支援系Coqを使った形式検証

名古屋大学6 years

客員教授(Side)Present

- Present

株式会社proof ninja7 years

代表取締役 CEOPresent

- Present

Tezos foundation4 years

Software Engineer(Side)

-

コア開発デベロッパー

Hidden: Education and Experience

View 今井宜洋's

Full Profile

This information is visible only to Wantedly users or the user’s connections

View past posts

View mutual connections

View 今井宜洋's full profile

Log in to view profile

Skills

  • OCaml

    7
    • Shoya Tsukada
    • Yasuyuki MIURA
    • Yusuke Kokubo

    Recommended by Shoya Tsukada and 6 more

  • 型システム

    7
    • Shoya Tsukada
    • Yasuyuki MIURA
    • Yusuke Kokubo

    Recommended by Shoya Tsukada and 6 more

  • Coq

    7
    • Shoya Tsukada
    • Yasuyuki MIURA
    • Yusuke Kokubo

    Recommended by Shoya Tsukada and 6 more

  • Scala

    6
    • Shoya Tsukada
    • Yusuke Kokubo
    • Tomochika Hara

    Recommended by Shoya Tsukada and 5 more

  • Haxe

    3
    • Yohei Iwasaki
    • Masahiro Hirano
    • Ryota Fujisawa

    Recommended by Yohei Iwasaki and 2 more

  • Git, Coq2Scala, Android

Accomplishments / Portfolio

Log in to view profile

Receive Scouts from companies

Try App