山形研究室

YAMAGATA LABORATORY — 福井大学山形研究室

ソフトウェアを正しく作る。

形式手法・プログラム検証・アシュアランスケース——理論と実装の両面からソフトウェアの信頼性を追究しています。社会インフラからソフトウェアサプライチェーンまで、幅広い応用を視野に研究しています。

🎓

学生の方へ

授業・講義の情報や、卒業研究の配属についてご案内します。

💼

企業・研究機関の方へ

ソフトウェア検証・形式手法・アシュアランスケースを専門とします。共同研究・技術相談のご相談はお気軽に。

🔬

研究者・学術関係者の方へ

論文リスト・科研費課題・共著者情報などをご覧いただけます。

ソフトウェア工学

AIや数学・論理学を活用し、ソフトウェアが正しく動くことを自動的に保証する研究を行っています。特にCPSやソフトウェアサプライチェーンの安全性・セキュリティに取り組んでいます。

IEEE TSE 科研費基盤B 科研費基盤C PGSN PGSNエディタ

理論計算機科学

ソフトウェアの正しさを記述・検証するための論理体系の研究を行っています。特に、不確定な動作をともなうシステムに対して時相論理がどのように適用できるかを理論的に明らかにすることに取り組んでいます。

LMCS

数学基礎論

「どれだけ効率よく計算できるか」という計算量理論の未解決問題に、論理体系「限定算術」の立場からアプローチしています。証明の複雑さと計算の効率との関係を明らかにすることを目指しています。

J. Symbolic Logic

研究テーマ