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.