Yosuke Fukuda (福田 陽介)

I am a Ph.D. course student in Computer Software Group (Igarashi/Suenaga Laboratory), Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University. My current supervisor is Prof. Atsushi Igarashi.

My general research interest is to investigate the Curry–Howard correspondence, focusing on: (1) foundation of programming languages; (2) constructive type theory and constructive proof theory; (3) type-theoretic applications of proof-theoretic semantics. Currently, I’ve been working on the following topics:

  1. A geometry of interaction machine for (multi-)staged computation.
  2. A constructive dual computation.

I have thought that I am a theoretical computer scientist and I may not be a non-logician. (But this can’t be “I am a logician.” :p)


Unrefereed Publications


Contributed Talks

Unrefereed Presentations

Miscellaneous Documents (written in Japanese)


Academic Activities

Teaching at Kyoto Computer Gakuin

Teaching Assistant at Kyoto University

Brief CV