Shin-ya Katsumata
Japanese Page
Publication
Research Field
My research field is theoretical computer science.
Teaching
Introduction to Programming (at Doshisha University, the first semester, 2013-16; elementary Processing programming)
Programming I (at Doshisha University, the first semester, 2009-2012; elementary Java programming)
Introduction to computer science (at Kyoto University, the first semester, 2006-11,2013-16; untyped lambda calculus and
Church-Turing thesis)
Recent Papers
- Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida.
Stone dualities from opfibrations.
In J. Log. Algebraic Methods Program., 127: 100773, 2022.
- Alejandro Aguirre, Shin-ya Katsumata, Satoshi Kura.
Weakest preconditions in fibrations.
In MSCS, 32(4): 472-510 (2022).
- Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Samuel Humeau, Clovis Eberhart, Ichiro Hasuo.
Codensity Games for Bisimilarity.
In New Gener. Comput., 40(2): 403-465 (2022).
- Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu, Nicolas Wu.
Flexible presentations of graded monads.
In Proc. ACM Program. Lang., 6(ICFP): 902-930 (2022).
- Ohad Kammar, Shin-ya Katsumata, Philip Saville.
Fully abstract models for effectful λ-calculi via category-theoretic logical relations.
In Proc. ACM Program. Lang., 6(POPL): 1-28 (2022).
Academic activities
International conference general chair: FLOPS 2024
International conference program committee: CSL 2024, CALCO 2023, ICFP 2023, LICS 2023, CSL 2023, TFP 2022, LICS 2022, FoSSaCS 2022, POPL 2022, FLOPS 2020, MFPS 2019, MFPS 2018, ICFP 2017, ICALP 2015, MFPS 2014, APLAS 2013, ICFP 2013, FLOPS 2010
International conference local organizing co-chair: ICFP 2016 (with Susumu Nishimura)
International workshop chair:
International workshop program committee: HOPE 2023, SRC ICFP 2022, RTPTE 2022, MSFP 2022, CMCS 2020, MSFP 2018, TyDe 2018, HOPE 2018, ML Family Workshop 2017, CMCS 2016
International school organizer: Shonan school “Semantics of effects, resources, and applications” (with Marco Gaboardi)
Domestic workshop chair: CSCAT 2018, PPL 2013 (with Katsuhiko Gondow), CSCAT 2010
Domestic workshop program committee: PPL 2022, PPL 2010, PPL 2008, PPL 2007
Contact Information
Shin-ya Katsumata
Professor at Kyoto Sangyo University