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)


Publications

Unrefereed Publications

Posters

Contributed Talks

Unrefereed Presentations

Miscellaneous Documents (written in Japanese)


Activities

Academic Activities

Teaching at Kyoto Computer Gakuin

Teaching Assistant at Kyoto University


Brief CV

Contact