Susumu Nishimura

Susumu Nishimura [En/Ja]

Associate professor
Department of Mathematics, Graduate School of Science, Kyoto University

[Department Homepage| Kyoto Univ. DB| researchmap]

General Research Area

Computer Science, Theory of Programming Languages

Research Interests

Topological theory on concurrent/distributed programming; program transformation.

Papers

"Defining logical obstruction with fixpoints in epistemic logic", Journal of Applied and Computational Topology, volume 8(4), 2024. [Springer Link | Springer SharedIt]

See here for a list of previous 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: susumuXmath.kyoto-u.ac.jp Replace X with AT-mark.
Homepage: https://cs-nishimura.github.io/

[ Kyoto Univ. | Graduate School of Science | Department of Mathematics ]