Staff -KATSUMATA, Shin-ya-

Name KATSUMATA, Shin-ya
Position Assistant Professor
E-Mail sinya (email address: add @kurims.kyoto-u.ac.jp)
URL http://www.kurims.kyoto-u.ac.jp/~sinya/index-e.html
Research
Shin-ya Katsumata is working on theoretical computer science. His current research interests are twofold. i) He is working on the construction of relational models of languages with the notion of computation. In his recent work, he proposed a new construction method by categorically formulating Lindley and Stark's TT-lifting. He is particularly interested in the mathematical properties and applications of the construction. ii) He is also working on fusion transformation of functions. In a joint work with Susumu Nishimura, he proposed an algebraic fusion transformation of functions with an accumulating parameter.