Kohei Suenaga 研究室

主宰者：Kohei Suenaga
京都大学

AI 要約（直近 5 年の研究成果）

本研究室は、複雑なシステムの安全性と信頼性を保証することを主要な目標としています。自動運転システムやブロックチェーン上のスマートコントラクト、暗号化されたデータを処理するシステムなど、現代のコンピュータシステムには内部構造が不明確であったり、外部から直接検証が困難であったりする要素が多く含まれています。研究室では、こうしたシステムの振る舞いを自動的に学習し、その結果に基づいて安全性を検証する手法を開発しています。 手法としては、プログラム論理や形式的検証といった数学的な枠組みを用いています。具体的には、システムが満たすべき仕様を論理的に記述し、実際の動作がその仕様を満たすかどうかをコンピュータで自動的に確認します。さらに、確認対象がランダムな振る舞いを含む場合や、複数のシステムが相互作用する場合など、より複雑な状況にも対応できるよう研究を進めています。 加えて、暗号化されたデータの上で計算を実行する技術や、ハードウェアの信頼性向上に向けた監視方法も研究しています。こうした多角的なアプローチを通じて、日々のシステムをより安全で信頼できるものにするための基礎的な技術開発を行っています。

※ AI（Claude）が、公開されている論文要旨から研究の問い・手法・主要な発見を事実情報として抽出・再構成して自動生成しています。誤りを含む可能性があるため、正確性は研究室公式情報でご確認ください。

外部リンク

関連研究室(8 件)

研究成果（15 件）

続きを表示（残り 5 件）

科研費（0 件）

まだデータがありません（KAKEN 取り込み後に表示）。

所属学会・役職（0 件）

まだデータがありません（学会データ連携後に表示）。