基本情報

所属
岐阜大学 工学部 電気電子・情報工学科 情報コース 助教
(兼任) 人工知能研究推進センター
(兼任) 航空宇宙生産技術開発センター
学位
博士(情報科学)(2012年3月 名古屋大学)

ORCID ID
 https://orcid.org/0000-0003-1602-8473
Researcher ID
I-3970-2014

外部リンク

計算機科学、とくにプログラミング言語の基礎理論が専門であり、関数型プログラミング言語とその産業活用、並行計算モデル、型理論 (特に振舞い型システム) に興味をもつ。企業では関数型プログラミング言語によるソフトウェア開発に取り組んだ。京都大学学術研究支援室において、研究支援業務および学内情報システムの設計・構築に携わった。博士(情報科学)。

論文

  13

講演・口頭発表等

  37

書籍等出版物

  3

MISC

  5

学術貢献活動

  7

共同研究・競争的資金等の研究課題

  2