Shin-ya Katsumata

Japanese Page Publication

Research Field

My research field is theoretical computer science.


Introduction to Programming (at Doshisha University, the first semester, 2013-14; 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-14; untyped lambda calculus and Church-Turing thesis)

Recent Papers

Academic Activities

Program (co)chair: LOLA 2015, PPL 2013
Program committee member: CMCS 2016, ICALP 2015, MFPS XXX, APLAS 2013, ICFP 2013, FLOPS 2010, PPL 2010, PPL 2008, PPL 2007
Organiser: CSCAT 2010
Organising committee member: Camp-style workshop on GoI, TSMC and IC

Contact Information

Shin-ya Katsumata
Assistant Professor at Research Institute for Mathematical Sciences (RIMS), Kyoto University
Postal address: RIMS, Kyoto university, Kitashirakawa Oiwakecho, Sakyoku, Kyoto, 606-8502 Japan
Office address: Rm 476, Research Building No. 2, Yoshida Honmachi, Sakyoku, Kyoto, 606-8501 Japan
Tel: +81-75-753-7274
FAX: +81-75-753-7272