DaiLambda, Inc.

ダイラムダ株式会社

弊社は型システム、静的解析、モデル検査、定理証明をはじめとする形式検証技術によって、 暗号通貨をはじめとする社会インフラシステムの安全化に取り組む企業です。

会社概要

名称
ダイラムダ株式会社 (DaiLambda, Inc.)
設立
2018年9月14日
資本金
200万円
代表取締役
古瀨 淳
住所
京都市左京区吉田本町36番地1京都大学国際科学イノベーション棟
ベンチャーインキュベーションセンター内
連絡先
contact@dailambda.jp