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 virtual machine for meta-programming with a first-class macro mechanism.

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 Publication


Contributed Talk

Unrefereed Presentation

Miscellaneous Document (written in Japanese)



Academic Activity

Teaching at Kyoto Computer Gakuin

Teaching Assistant at Kyoto University

Brief CV