独立した研究と実践の取り組み

AIでつくる。根拠をもって検証する。

AIエージェントの振る舞いと、AIが生成するソフトウェアを検証する方法を研究しています。

形式手法、テスト、シミュレーションから、開発現場での検証ワークフローまで扱います。