Daisuke Kikuchi

Graduate Student at Kobayashi-Sumii Group, in Graduate School of Information Sciences, Tohoku University.

Publications

Refereed Conference Papers

• Daisuke Kikuchi, Naoki Kobayashi. "Type-Based Verification of Correspondence Assertions for Communication Protocols" The 5th ASIAN Symposium on Programming Languages and Systems (APLAS 2007), Singapore, November, 2007. [PDF | Slides]. Lecture Notes in Computer Science. (C) Springer-Verlag.

Education

• 2007: B.S. in Engineering from Tohoku University

Contact

• E-mail: kikuchi {at} kb {dot} ecei {dot} tohoku {dot} ac {dot} jp

(Japanese version is available here.)