Rchr
J-GLOBAL ID：200901042036725764   Update date: Feb. 06, 2024

Nishimura Susumu

ニシムラ ススム | Nishimura Susumu
Affiliation and department：
Kyoto University Graduate School of Science, Division of Mathematics, Graduate School of Science Department of Mathematics Faculty of Science

About Kyoto University Graduate School of Science, Division of Mathematics, Graduate School of Science Department of Mathematics Faculty of Science


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)：
  • 2020 - 2025 Declarative Distirbuted Programming based on Combinatorial Topology
  • 2016 - 2020 組合せ位相幾何に基づく高レベル仕様からの並列・分散プログラムの生成
  • 2012 - 2016 ゲーム意味論による共有メモリ型並列プログラムの定式化と検証
  • 2008 - 2012 形式的に検証可能なプログラム変換フレームー.クの構築
  • 2005 - 2008 非述語的多相型付けを用いたプログラム融合変換
Show all
Papers (26)：
ｍore...
Books (2)：
  • プログラミング言語の形式的意味論入門
    丸善出版 2023 ISBN:9784621307632
  • コンピュータサイエンス入門アルゴリズムとプログラミング言語
    岩波書店 1999 ISBN:4000050060
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)：
  • - 1996 Kyoto University
  • - 1996 Kyoto University Graduate School, Division of Natural Science
Professional career (1)：
  • Doctor of Science (Kyoto University)
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)：
  • 1998 - 日本ソフトウェア科学会論文賞
  • 1996 - 日本ソフトウェア科学会高橋奨励賞
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

TOP

BOTTOM