Department of Mathematics,
Graduate School of Science,
General Research Area Computer Science, Theory of Programming Languages
Topological theory on concurrent/distributed programming; program transformation.
See publications list for past papers.
Department of Mathematics
Graduate School of Science, Kyoto University
Sakyou-ku, Kyoto 606-8502, JAPAN
Office: Room 805, 6th bld. of Sci.
Phone: +81-75-753-2671 (Office)
[ Kyoto Univ. |
Graduate School of Science |
Department of Mathematics ]