Discover companies you will love

Open in app

今井宜洋

DMM Crypto / Blockchain Engineer
Register to view full profile

今井宜洋

DMM Crypto / Blockchain Engineer

Register to view full profile

Self Introduction

Available to logged-in users only

Log in to continue

DMM Crypto2 years

Blockchain Engineer(Side)Present

- Present

形式検証

産業技術研究所2 years

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

- Present

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

名古屋大学4 years

客員教授(Side)Present

- Present

株式会社proof ninja5 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

Related Profiles

Receive Scouts from companies

Try App