Rchr
J-GLOBAL ID：200901090266052267
Update date: Apr. 04, 2024
Katsumata Shin'ya
カツマタ シンヤ | Katsumata Shin'ya
Affiliation and department：
Job title：
Professor
Research field (1)：
Information theory
Research keywords (2)：
理論計算機科学
, theoretical computer science
Research theme for competitive and other funds (7)：
- 2022 - 2026 Formal Foundations for Verification of Physical and Probabilistic Systems
- 2018 - 2021 Formal verification of probabilistic graphical models and its application to artificial intelligence
- 2015 - 2020 エフェクトシステムの表示的意味論にまつわる数学的構造
- 2013 - 2016 Semantics of Core Haskell -- Towards Foundations of Verification of Advanced Functional Programs
- 2012 - 2015 Reasoning about computational effects by TT-lifting
- 2008 - 2010 Higher-order Geometry of Interaction and Program Semantic
- 2008 - 2010 A New Categorical Foundation of Attribute Grammar
Show all
Papers (60)：
-
Tetsuya Sato, Shin-ya Katsumata. Divergences on monads for relational program logics. Mathematical Structures in Computer Science. 2023
-
Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu, Nicolas Wu. Flexible presentations of graded monads. Proceedings of the ACM on Programming Languages. 2022
-
Ohad Kammar, Shin-ya Katsumata, Philip Saville. Fully abstract models for effectful λ-calculi via category-theoretic logical relations. Proceedings of the ACM on Programming Languages. 2022
-
Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Samuel Humeau, Clovis Eberhart, Ichiro Hasuo. Codensity Games for Bisimilarity. New Generation Computing. 2022. 40. 2. 403-465
-
Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo. The Lattice-Theoretic Essence of Property Directed Reachability Analysis. CAV (1). 2022. 235-256
ｍore...
MISC (1)：
-
Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger. Quantitative bisimulations using coreflections and open morphisms. CoRR. 2018. abs/1809.09278
Education (3)：
- - 2005 The University of Edinburgh College of Science and Engineering Informatics
- - 2000 Kyoto University
- - 1998 Kyoto University Faculty of Engineering School of Electrical & Electronic Engineering
Professional career (2)：
- Doctor of Philosophy (The University of Edinburgh)
- Master of Science (Kyoto University)
Work history (5)：
- 2024/04 - 現在 Kyoto Sangyo University Faculty of Science Department of Mathematics Professor
- 2023/04 - 2024/03 National Institute of Informatics Project Researcher
- 2017/04 - 2023/03 National Institute of Informatics Project Researcher
- 2007/04 - 2017/03 Kyoto University Research Institute for Mathematical Sciences Assistant Professor
- 2004/04 - 2007/03 Kyoto University Research Institute for Mathematical Sciences Assistant Professor
Association Membership(s) (1)：
Japan Society for Software Science and Technologies
