研究者
J-GLOBAL ID:200901090266052267
更新日: 2024年06月07日
勝股 審也
カツマタ シンヤ | Katsumata Shin'ya
所属機関・部署:
職名:
教授
研究キーワード (2件):
理論計算機科学
, theoretical computer science
競争的資金等の研究課題 (7件):
論文 (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
もっと見る
MISC (1件):
-
Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger. Quantitative bisimulations using coreflections and open morphisms. 2018. abs/1809.09278
学歴 (3件):
- - 2005 The University of Edinburgh College of Science and Engineering Informatics
- - 2000 京都大学 理学研究科 数学数理解析専攻数理解析系
- - 1998 京都大学 工学部 電気電子工学科
学位 (2件):
- 哲学博士(Doctor of Philosophy) (エジンバラ大学(The University of Edinburgh))
- 修士(理) (京都大学)
経歴 (5件):
- 2024/04 - 現在 京都産業大学 理学部 数理科学科 教授
- 2023/04 - 2024/03 国立情報学研究所 アーキテクチャ科学研究系 特任研究員
- 2017/04 - 2023/03 国立情報学研究所 アーキテクチャ科学研究系 特任研究員
- 2007/04 - 2017/03 京都大学 数理解析研究所 助教
- 2004/04 - 2007/03 京都大学 数理解析研究所 助手
所属学会 (1件):
前のページに戻る