NAKAZAWA Koji

J-GLOBAL         Last updated: May 8, 2019 at 04:21
 
Avatar
Name
NAKAZAWA Koji
E-mail
knaki.nagoya-u.ac.jp
URL
http://www.sato.kuis.kyoto-u.ac.jp/~knak/index.html
Affiliation
Nagoya University
Section
Graduate School of Informatics Department of Computing and Software Systems 3
Job title
Associate professor
Research funding number
80362581

Academic & Professional Experience

 
Oct 2015
 - 
Mar 2017
Associate professor, Graduate School of Information Science Department of Information Engineering Software Science and Technology, Nagoya University
 
Apr 2017
 - 
Today
Associate professor, Graduate School of Informatics Department of Computing and Software Systems 3, Nagoya University
 

Published Papers

 
Failure of Cut-Elimination in Cyclic Proofs of Separation Logic
Daisuke Kimura, Koji Nakazawa, Tachio Terauchi, and Hiroshi Unno
.   Mar 2019   [Refereed]
Spatial Factorization in Cyclic-Proof System for Separation Logic
Koji Nakazawa, Makoto Tatsuta, Daisuke Kimura, and Mitsuru Yamamura
.   Mar 2019   [Refereed]
Z for call-by-value
Koji Nakazawa, Ken-etsu Fujita, Yuta Imagawa
6th International Workshop on Cofluence (IWC 2017),   57–61   Sep 2017   [Refereed]
Ken-etsu Fujita, Koji Nakazawa
.   Sep 2016
Koji Nakazawa, Ken-etsu Fujita
Studia Logica      May 2016   [Refereed]
Takeshi Tsukada, Koji Nakazawa
.   Mar 2016   [Refereed]
K. Nakazawa, H. Naya
Studia Logica   103 375-387   Apr 2015   [Refereed]
Koji Nakazawa and Tomoharu Nagai
Lecture Notes in Computer Science (RTA-TLCA 2014)   8560 340-363   Jul 2014   [Refereed]
J. Espírito Santo, R. Matthes, K. Nakazawa, L. Pinto.
Electric Proceedings in Theoretical Computer Science (CL&C 2014)   164 63-77   Jul 2014   [Refereed]
J. Espírito Santo, R. Matthes, K. Nakazawa, L. Pinto
Mathematical Structures in Computer Science   23(6) 1111-1162   Dec 2013   [Refereed]
Koji Nakazawa and Shin-ya Katsumata
Electric Proceedings in Theoretical Computer Science (CL&C 2012)   97 35-47   Oct 2012   [Refereed]
K. Nakazawa, M. Tatsuta, Y. Kameyama, H. Nakano
Theoretical Computer Science   412(44) 6193-6207   Oct 2011   [Refereed]
K. Nakazawa
CD-ROM   Sep 2011
Y. Kato, K. Nakazawa
Lecture Notes in Computer Science (WFLP 2009)   5979 96-110   2010   [Refereed]
Type checking and inference for polymorphic and existential types
K. Nakazawa, M. Tatsuta
Conferences in Research and Practice in Information Technology Series   94 .   2009   [Refereed]
K. Nakazawa, M. Tatsuta, Y. Kameyama, H. Nakano
Lecture Notes in Computer Science (CSL 2008)   5213 478-492   Sep 2008   [Refereed]
K. Nakazawa, M. Tatsuta
Annals of Pure and Applied Logic   153(1-3) 21-37   Apr 2008   [Refereed]
An isomorphism between cut-elimination procedure and proof reduction
K. Nakazawa
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   4583 LNCS 336-350   2007   [Refereed]
S. Ikeda, K. Nakazawa
Information Processing Letters   99(4) 163-170   Aug 2006   [Refereed]
K. Nakazawa, M. Tatsuta
Journal of Symbolic Logic   68(3) 851-859   Sep 2003   [Refereed]
K. Nakazawa
Theoretical Computer Science   290 429-463   Jan 2003   [Refereed]

Misc

 
Z for call-by-value
Koji Nakazawa, Ken-etsu Fujita, Yuta Imagawa
6th International Workshop on Cofluence (IWC 2017),   57–61   Sep 2017   [Refereed]
Church-Rosser theorem and compositional Z-property
Ken-etsu Fujita, Koji Nakazawa
.   Sep 2016
Koji Nakazawa, Ken-etsu Fujita
Studia Logica      May 2016   [Refereed]
Intersection and Union Type Assignment and Polarised Lambda-Bar-Mu-Mu-Tild
Takeshi Tsukada, Koji Nakazawa
.   Mar 2016   [Refereed]
Compositional Z: Confluence proofs for permutative conversion
K. Nakazawa, K. Fujita
.   Sep 2015

Conference Activities & Talks

 
On Cut-Elimination in Cyclic Proof Systems
Daisuke Kimura, Koji Nakazawa, Tachio Terauchi, and Hiroshi Unno
16th Asian Symposium on Programming Languages and Systems (APLAS 2018)   3 Dec 2018   
On Cut-Elimination in Cyclic Proof Systems
Daisuke Kimura, Koji Nakazawa, Tachio Terauchi, and Hiroshi Unno
Workshop on New Ideas and Emerging Results (NIER 2019)   2 Dec 2018   
Cyclic Theorem Prover for Separation Logic by Magic Wand.
Koji Nakazawa, Makoto Tatsuta, Daisuke Kimura, Mitsuru Yamamura
1st Workshop on Automated Deduction for Separation Logics (ADSL 2018)   Jul 2018   
Complete Axiom System of Cluster Algebra
Kousuke Fukui and Koji Nakazawa
7th International Workshop on Confluence (IWC 2018)   Jul 2018   
Completeness of Cyclic Proofs for Symbolic Heaps.
Makoto Tatsuta, Koji Nakazawa, and Daisuke Kimura
Second Workshop on Mathematical Logic and its Applications (MLA 2018)   Mar 2018   
Cyclic-Proof-Based Decision Procedure for Symbolic Heaps and Inductive Definitions
Makoto Tatsuta, Daisuke Kimura, Koji Nakazawa
2nd Workshop on New and Emerging Results in Programming Languages and Systems   24 Nov 2016   
Characterizing trees for lambda-mu terms
Koji Nakazawa
8th International Workshop on Higher-Order Rewriting (HOR 2016)   25 Jun 2016   
A denotational semantics of a probabilistic stream-processing language
Yohei Miyamoto, Kohei Suenaga, Koji Nakazawa
Workshop on probabilistic programming semantics (PPS 2016)   Jan 2016   
Lambda calculi and confluence from A to Z
K. Nakazawa
4th International Workshop on Confluence (IWC 2015)   Aug 2015   
Extensional models of typed lambda-mu calculus
K. Nakazawa
The Fifth International Workshop on Classical Logic and Computation (CL&C'14)   Jul 2014   
Extensional model of Lambda-mu calculus
Sep 2013   
Continuations and classical logic: using continuations as a tool for classical logic
K. Nakazawa
Continuation Workshop (CW2011)   Sep 2011   

Education

 
Apr 1994
 - 
Mar 1998
Faculty of Science, Kyoto University
 
Apr 2000
 - 
Nov 2002
Graduate School, Division of Natural Science, Kyoto University