弊社は型システム、静的解析、モデル検査、定理証明をはじめとする形式検証技術によって、 暗号通貨をはじめとする社会インフラシステムの安全化に取り組む企業です。
会社概要
- 名称
- ダイラムダ株式会社 (DaiLambda, Inc.)
- 設立
- 2018年9月14日
- 資本金
- 200万円
- 代表取締役
- 古瀨 淳
- 連絡先
- contact@dailambda.jp
弊社は型システム、静的解析、モデル検査、定理証明をはじめとする形式検証技術によって、 暗号通貨をはじめとする社会インフラシステムの安全化に取り組む企業です。