福田 陽介

元 専門研究員

Former Research Specialist

Yosuke Fukuda

2014年3月京都産業大学コンピュータ理工学部卒業.2016年9月京都大学大学院情報学研究科博士前期課程修了.2019年9月同研究科博士後期課程研究指導認定.2020年4月より STAIR 専門研究員.2022年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 was a research specialist at STAIR Lab. He moved to Kyoto Tachibana University in April 2022.

研究領域 Research Interest

Theory of Programming Languages, Mathematical Logic, Image Processing