Koji Nakazawa -

Registered user since Tue 3 Dec 2019

Name: Koji Nakazawa

Country: Japan

Affiliation: Graduate School of Informatics, Nagoya University

Personal website: http://www.sqlab.jp/~nakazawa/

Contributions

APLAS 2019	Author of Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions within the Research Papers-track
PPS 2016	Author of A Denotational Semantics of a Probabilistic Stream-Processing Language within the PPS 2016-track