Background
Hasegawa, Masahito was born on January 31, 1970 in Kyoto, Japan.
(Models of Sharing Graphs presents a sound mathematical ba...)
Models of Sharing Graphs presents a sound mathematical basis for reasoning about models of computation involving shared resources, including graph rewriting systems, denotational semantics and concurrency theory. An algebraic approach, based on the language of category theory, is taken throughout this work, which enables the author to describe several aspects of the notion of sharing in a systematic way. In particular, a novel account of recursive computation created from cyclic sharing is developed using this framework.
http://www.amazon.com/gp/product/1852331453/?tag=2022091-20
Hasegawa, Masahito was born on January 31, 1970 in Kyoto, Japan.
Bachelor of Science in Mathematics Science, Kyoto University, 1992. Master of Science in Computer Science, Kyoto University, 1994. Doctor of Philosophy in Computer Science, University Edinburgh, England, 1997.
Research associate Kyoto University, 1997—1999, lecturer, 1999—2002, associate professor, 2002—2007, professor computer science, since 2007. Researcher Japan Science and Technology Agency, Kawaguchi, Japan, 2002—2006.
(Models of Sharing Graphs presents a sound mathematical ba...)