Members

TOP > Members > MUROYA, Koko

MUROYA, Koko

Name MUROYA, Koko

Position Assistant Professor

E-Mail kmuroya (email address: add @kurims.kyoto-u.ac.jp)


Research
My research is based around semantics of programming languages, in particular those for various properties of programs, including evaluation results, efficiency and computation processes represented by programs. Using a combination of two semantical methods, network rewriting and information flow, I am aiming at both an execution model and a language design for computation that involves not one but several properties of programs.

← BACK TO THE TOP

← BACK TO THE TOP

  • Follow on

Research Institute for Mathematical Sciences (RIMS)