専門研究員 Research Specialist
福田 陽介 Yosuke Fukuda

2014年3月京都産業大学コンピュータ理工学部卒業.2016年9月京都大学大学院情報学研究科博士前期課程修了.2019年9月同研究科博士後期課程研究指導認定.2020年4月より現職. [ 個人ページ ]

Yosuke Fukuda received a bachelor's degree in computer science and engineering from Kyoto Sangyo University in March 2014, and a master's degree in informatics from Kyoto University in September 2016. From April 2020, he is a research specialist at STAIR Lab. [ Personal page ]

Research Interest

プログラミング言語理論,数理論理学,画像処理 Theory of Programming Languages, Mathematical Logic, Image Processing