400万人が利用する会社訪問アプリ

自己紹介

ログインユーザーのみに公開

DMM Crypto2年間

Blockchain Engineer(副業)現在

- 現在

形式検証

産業技術研究所2年間

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

- 現在

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

名古屋大学4年間

客員教授(副業)現在

- 現在

株式会社proof ninja5年間

代表取締役 CEO現在

- 現在

Tezos foundation4年間

Software Engineer(副業)

-

コア開発デベロッパー

限定公開の職歴・学歴

今井宜洋さん

のプロフィールをすべて閲覧

Wantedlyユーザー もしくは つながりユーザーのみ閲覧できる項目があります

過去の投稿を確認する

共通の知り合いを確認する

今井宜洋さんのプロフィールをすべて見る


スキルと特徴

  • OCaml

    7
    • 塚田 翔也
    • 三浦 康幸
    • 小久保 祐介

    塚田 翔也その他6人が+1

+7件

実績

+1件

企業からスカウトをもらいましょう