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

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

以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。

• 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