型システム入門, オーム社
今井宜洋
DMM Crypto / Blockchain Engineer
Discover companies you will love
今井宜洋
DMM Crypto / Blockchain Engineer
Self Introduction
Available to logged-in users only
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
Skills
OCaml
7Recommended by Shoya Tsukada and 6 more
+7 more
Accomplishments / Portfolio
+1 more