Name MUROYA, Koko
Position Assistant Professor
E-Mail kmuroya (email address: add @kurims.kyoto-u.ac.jp)
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.