Satoshi Kura (内藏 理史)

Publications, Talks, Grants

Preprints

• Ranking and Invariants for Lower-Bound Inference in Quantitative Verification of Probabilistic Programs
• Higher-Order Weakest Precondition Transformers via a CPS Transformation

Theses

• Satoshi Kura.
  Semantic Refinements for Program Verification.
  PhD thesis, The Graduate University for Advanced Studies (SOKENDAI), 2022.
  Supervisor: Ichiro Hasuo.
• Satoshi Kura.
  Algebraic Theories for Graded Monads.
  MSc thesis, University of Tokyo, 2019.
  Supervisor: Masami Hagiya.
• Satoshi Kura.
  Predicate Transformers for the Second Moment of Runtime of Recursive Probabilistic Programs.
  BSc thesis, University of Tokyo, 2017.

Contact

Email (primary)

satoshikura [at] acm.org

Email (secondary)

satoshi.kura [at] aoni.waseda.jp

kura [at] nii.ac.jp

kurasatoshi [at] is.s.u-tokyo.ac.jp