Kyoto University · Research Institute for Mathematical Sciences · 助教

Research keywordshigher order fixpoint logic・cyclic proof systems・coalgebraic verification・property directed reachability・initial algebras・final coalgebras・lattice theory

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

• 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,

• Official profile