Department of Mathematics,
Graduate School of Science,
General Research Area Computer Science, Theory of Programming Languages
Topological theory on concurrent/distributed programming; program transformation.
- "Logical Obstruction to Set Agreement Tasks for Superset-Closed Adversaries"
(joint work with Koki Yagi),
See here for a list of my papers and manuscripts.
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 ]