Susumu Nishimura
[En/Ja]
Associate professor
Department of Mathematics,
Graduate School of Science,
Kyoto University
General Research Area
Computer Science, Theory of Programming Languages
Research Interests
Topological theory on concurrent/distributed programming; program transformation.
Papers
- "Logical Obstruction to Set Agreement Tasks for Superset-Closed Adversaries"
(joint work with Koki Yagi),
preprint
[arXiv link].
See here for a list of my papers and manuscripts.
Contact Address
Department of Mathematics
Graduate School of Science, Kyoto University
Sakyou-ku, Kyoto 606-8502, JAPAN
Office: Room 805, 6th bld. of Sci.
E-mail: susumu@math.kyoto-u.ac.jp
Phone: +81-75-753-2671 (Office)
Homepage:
https://www.math.kyoto-u.ac.jp/~susumu/
[ Kyoto Univ. |
Graduate School of Science |
Department of Mathematics ]