Susumu Nishimura
(西村 進)
Modified on: 07/19
Profile Information
- Affiliation
- Associate Professor, Graduate School of Science, Division of Mathematics, Graduate School of Science Department of Mathematics Faculty of Science, Kyoto University
- Degree
-
Doctor of Science(Kyoto University)
- J-GLOBAL ID
- 200901042036725764
- researchmap Member ID
- 1000203307
- External link
Major Research Interests
4Major Research Areas
1Research History
3-
Jul, 2003 - Mar, 2007
-
Apr, 1996 - Jun, 2003
Education
2Awards
2-
1998
-
1996
Major Papers
27-
Journal of Applied and Computational Topology, Nov 14, 2023 Peer-reviewedLead author
Books and Other Publications
2-
丸善出版, Jan, 2023 (ISBN: 9784621307632)
-
岩波書店, 1999 (ISBN: 4000050060)
Presentations
11-
Epistemic and Topological Reasoning in Distributed Systems, Dagstuhl Seminar 23272, Jul 4, 2023
-
CELT2022: Connections between Epistemic Logic and Topology, Oct 25, 2022 Invited
-
第33回 代数，論理，幾何と情報科学研究集会 (ALGI33), Sep 12, 2022
-
GETCO 2022 – 11th International Conference on Geometric and Topological Methods in Computer Science, Jun, 2022
-
第37回 記号論理と情報科学 研究集会 SLACS2020, Dec 3, 2020
-
第14回 情報科学ワークショップ, 2018
-
代数, 論理, 幾何と情報科学研究集会 ALGI29, 2018
-
第13回情報科学ワークショップ, 2017
-
代数, 論理, 幾何と情報科学研究集会 (ALGI 2017), 2017
-
Topological Methods in Distributed Computing, Dagstuhl Seminar 16282, Jul, 2016
-
日本ソフトウェア科学会 第31回大会, Sep, 2014
Professional Memberships
2Research Projects
10-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2020 - Mar, 2025
-
科学研究費補助金(基盤研究(C)), Apr, 2016 - Mar, 2020
-
科学研究費補助金(基盤研究(C)), Apr, 2012 - Mar, 2016
-
科学研究費補助金(基盤研究(C)), Apr, 2008 - Mar, 2012
-
科学研究費補助金(若手研究(B)), Apr, 2005 - Mar, 2008
-
科学研究費補助金(奨励研究(A)), Apr, 2000 - Mar, 2002
-
科学研究費助成事業, 奨励研究(A), 日本学術振興会, 1998 - 1999
There are no coauthors to display.
{{coauthor.Related.name_str}}
{{coauthor.Related.last_modified}} Updated