Nakazawa Koji

ナカザワコウジ | Nakazawa Koji

Affiliation and department：
Job title： Associate professor
Homepage URL (2)： http://knaknak.github.io/ , http://knaknak.github.io/index-e.html

Research field (2)： Software , Information theory

Research keywords (5)：プログラム理論 , 数学基礎論 , lambda calculus , type theory , classical logic

Research theme for competitive and other funds (18)：

2022 - 2026 循環証明体系におけるカット除去定理とカット規則の制限
2021 - 2026 Network of automata with data based on compositional active learning
2021 - 2024 分離論理を用いたソフトウェア検証の発展
2018 - 2021 Proof theoretic analysis of cyclic proof systems
2017 - 2021 A reversible debugging model for real-time concurrent programs

Show all

Papers (34)：

Kenji Saotome, Koji Nakazawa, Daisuke Kimura. Restriction on cut in cyclic proof system for symbolic heaps. The 15th International Symposium on Functional and Logic Programming (FLOPS 2020). 2020. .-105
福井康介, 中澤巧爾, 石井沙織, 結縁祥治. 古典論理に対する汎用的自然演繹の証明正規化. 第22回プログラミングおよびプログラミング言語ワークショップ論文集 (PPL2020). 2020. .
NAKAZAWA Koji, TATSUTA Makoto, KIMURA Daisuke, YAMAMURA Mitsuru. Spatial Factorization in Cyclic-Proof System for Separation Logic. Computer Software. 2020. 37. 1. 1_125-1_144
KIMURA Daisuke, NAKAZAWA Koji, TERAUCHI Tachio, UNNO Hiroshi. Failure of Cut-Elimination in Cyclic Proofs of Separation Logic. Computer Software. 2020. 37. 1. 1_39-1_52
Makoto Tatsuta, Koji Nakazawa, Daisuke Kimura. Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions. Proceedings of The 17th Asian Symposium on Programming Languages and Systems (APLAS2019). 2019

ｍore...

MISC (28)：

ｍore...

Lectures and oral presentations (26)：

分離論理における記号ヒープのための循環証明体系におけるカットの制限について
(第22回プログラミングおよびプログラミング言語ワークショップ (PPL2020) 2020)
分離論理におけるエンテイルメント証明器の入力に対する制限の緩和
(第22回プログラミングおよびプログラミング言語ワークショップ (PPL2020) 2020)
Confluence proof of lambda-mu-calculus by Z thorem
(2019)
Proof normalization for classical truth-table natural deduction
(2019)
On restricted cut-elimination for cyclic proof system for separation logic
(2019)

ｍore...

Education (2)：

Professional career (1)：

Work history (5)：

2017/04/01 - 現在 Nagoya University Graduate School of Informatics Department of Computing and Software Systems 3 Associate professor
2015/10/01 - 現在 Nagoya University Graduate School of Information Science
2015/10/01 - 2017/03/31 Nagoya University Graduate School of Information Science Department of Information Engineering Software Science and Technology Associate professor
2007/04/01 - 2015/09/30 Kyoto University Graduate School of Informatics
2002/12/01 - 2007/03/31 Kyoto University Graduate School of Informatics

Committee career (1)：

Awards (2)：

2022/09 - Best Research Paper Award Spatial Factorization in Cyclic-Proof System for Separation Logic
2016/09/08 - 日本ソフトウェア科学会高橋奨励賞

Association Membership(s) (3)：

European Association for Theoretical Computer Science , 日本数学会 , 日本ソフトウェア科学会

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

Return to Previous Page