About
いみ－ろん【意味論】
- 計算機科学 (= コンピュータの数学) の一分野。狭義には論理計算式の「意味」や「解釈」についての理論をいう。
- ふるまいを数学のコトバでモデリングして、その本質の理解をめざす学問、および技術。
Team
蓮尾 一郎
取締役 / 創業者
国立情報学研究所 アーキテクチャ科学研究系教授，数理的高信頼ソフトウェアシステム研究センター長，学術博士（Radboud University Nijmegen, 2008）．京都大学数理解析研究所助教，東京大学大学院情報理工学系研究科講師・准教授，国立情報学研究所准教授を経て現職．2016年10月から JST ERATO 蓮尾メタ数理システムデザインプロジェクト研究総括．専門は理論計算機科学，特にシステム検証，プログラミング言語理論における数学的構造に興味を持つ．国際会議 CONCUR 2014 最優秀論文賞，国際会議 ICECCS 2018 最優秀論文賞，国際会議 CAV 2024 Distinguished Paper Award，科学技術分野の文部科学大臣表彰 科学技術賞 研究部門などを受賞。
足立 正和
CEO / 創業者
株式会社豊田中央研究所、エンジニアリングコンサルを経て、2017年株式会社デンソーへ入社。2020年より、DENSO Automotive Deutschland GmbH へ出向、車載ソフトウェア技術の研究開発を行う欧州ユニットを統括。自動運転、基盤ソフトウェア、有線/無線通信、セキュリティなど、様々な技術分野を担当。大阪大学博士課程修了。
James Haydon
CTO / 創業者
インペリアル・カレッジ・ロンドンでコンピュータサイエンスの理学修士号を取得し、オックスフォード大学で代数幾何学とカテゴリー理論を専攻して数学博士号を取得、さらにヨーロッパをリードする関数型プログラミングのコンサルタント企業を含む複数の名門企業でシニアエンジニアやテックリードを経験。JST ERATO 蓮尾メタ数理システムデザインプロジェクトでは開発チームリードを務め、蓮尾と共にシステム設計に形式手法を適用する研究に従事。専門分野は、ドメイン固有言語の設計、関数型プログラミング、およびWebシステムアーキテクチャなど多岐に渡る。