京都大学 · 数理解析研究所 · 助教

研究关键词higher order fixpoint logic・cyclic proof systems・coalgebraic verification・property directed reachability・initial algebras・final coalgebras・lattice theory

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

• A Cyclic Proof System for HFL_ℕ.29th EACSL Annual Conference on Computer Science Logic(CSL),
• The Lattice-Theoretic Essence of Property Directed Reachability Analysis.Computer Aided Verification - 34th International Conference,
• A No-go Theorem for Coalgebraic Product Construction.FoSSaCS,
• Initial Algebra Correspondence under Reachability Conditions.LICS,

• 官方个人主页