Nishimura Susumu

ニシムラススム | Nishimura Susumu

Affiliation and department：
Job title： Associate Professor
Homepage URL (1)： https://cs-nishimura.github.io/

Research field (1)： Information theory

Research keywords (4)： Computer Science , Program transformation , Programming Language Theory , Theory of distributed computing

Research theme for competitive and other funds (10)：

Show all

Papers (27)：

ｍore...

Books (2)：

Lectures and oral presentations (11)：

Product Updates for Partial Epistemic Models and Logical Obstruction to Task Solvability
(Epistemic and Topological Reasoning in Distributed Systems, Dagstuhl Seminar 23272 2023)
On the Power of Epistemic Logic for Defining Obstructions to Distributed Agreement Tasks
(CELT2022: Connections between Epistemic Logic and Topology 2022)
認識論理による分散タスク不可解性とその証明能力について
(第33回代数,論理,幾何と情報科学研究集会 (ALGI33) 2022)
Proving Unsolvability of Set Agreement Task with Epistemic mu-Calculus
(GETCO 2022 - 11th International Conference on Geometric and Topological Methods in Computer Science 2022)
動的認識論理を用いた分散計算タスクの不可解性証明について
(第37回記号論理と情報科学研究集会 SLACS2020 2020)

ｍore...

Education (2)：

Professional career (1)：

Work history (3)：

2007/04 - 現在 Kyoto University, Faculty of Sicience Department of Mathematics Associate Professor
2003/07 - 2007/03 Kyoto University, Faculty of Sicience Department of Mathematics Associate Professor
1996/04 - 2003/06 Kyoto University, Research Institute for Mathematical Sciences Rsearch Associate

Awards (2)：

Association Membership(s) (2)：

日本ソフトウェア科学会 , INFORMATION PROCESSING SOCIETY OF JAPAN

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page