基本情報

所属
岐阜大学 工学部 助教
学位
博士(情報科学)(名古屋大学)


外部リンク

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

論文

  11

書籍等出版物

  3

MISC

  1

講演・口頭発表等

  34

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

  2

委員歴

  1