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 (40)：

KIMURA Daisuke, TATSUTA Makoto, AL AMEEN Mahmudul Faisal, IKEBUCHI Mirai, NAKAZAWA Koji. Bi-Abduction in Separation Logic with Arrays and Lists for Program Analysis. Computer Software. 2024. 41. 1. 1_50-1_67
Koji Nakazawa, Ken-etsu Fujita, Yuta Imagawa. Z property for the shuffling calculus. Mathematical Structures in Computer Science. 2022. 32. 7. 1015-1027
Yuki Honda, Koji Nakazawa, Ken-etsu Fujita. Confluence Proofs of Lambda-Mu-Calculi by Z Theorem. Studia Logica. 2021. 109. 5. 917-936
Kenji Saotome, Koji Nakazawa, Daisuke Kimura. Failure of cut-elimination in the cyclic proof system of bunched logic with inductive propositions. Leibniz International Proceedings in Informatics, LIPIcs. 2021. 195
Daisuke Kimura, Mahmudul Faisal Al Ameen, Makoto Tatsuta, Koji Nakazawa. Function Pointer Eliminator for C Programs. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2021. 13008. 23-37

ｍ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