Yosuke Fukuda (福田 陽介)

I'm currently working as an assistant professor at Kyoto Tachibana University (Department of Information and Computer Science, Faculty of Engineering).

My general research interest is to investigate the theory of computation in programming languages, primarily in the context of the Curry–Howard correspondence between meta λ-calculi and intuitionistic modal logics. Although I'm mostly working on the mathematical theory of computation and logic, I'm also interested in philosophy of logic (in particular, logical constants and logical consequence) and the theory of quotation.


Publication

Non-refereed Publication

Poster

Contributed Talk

Non-refereed Presentation

Miscellaneous Document (written in Japanese)

Program


Activity

Academic Activity

Teaching

Teaching Assistant


Brief CV

Contact


Last modified: 06:21 UTC, Sep 23, 2023.