Kyoto University · Graduate School of Informatics · 准教授

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

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

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

• Official profile
• ORCID