京都大学 · 情報学研究科 · 准教授

研究キーワードホーア論理・プログラミング言語・形式手法・静的検証・ハイブリッドシステム・無限小プログラミング・超準解析・型システム

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• Evaluating Hybrid Automata Learning Tools Based on Their Success in Formal Verification2026 · MED 2026 (Accepted),
• Ownership Refinement Types for Pointer Arithmetic and Nested Arrays2026 · ECOOP 2026,
• A Fast and Soft Pattern Matcher for Trillion-Scale Corpus2026 · ICML 2026 (accepted),
• Active Learning of Symbolic Mealy Automata2025 · ICTAC 2025,

• AIを含むソフトウェアのための形式検証手法
• 圏論と数理論理学によるものづくりサポート―ソフトウェア科学のシステム工学への移転
• 輻射を対象とした次世代熱制御材料の研究開発
• ハイブリッドシステムのための超準プログラミング言語理論を用いた形式手法

• 公式プロフィール
• ORCID