基本情報

所属
株式会社ディー・エヌ・エー
学位
博士(情報科学)(2012年3月 名古屋大学)

連絡先
keigoiacm.org
ORCID ID
 https://orcid.org/0000-0003-1602-8473
Researcher ID
I-3970-2014
researchmap会員ID
B000001022

外部リンク

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

主要な委員歴

  21

主要な論文

  14

主要な講演・口頭発表等

  51

書籍等出版物

  3

主要なMISC

  7

学術貢献活動

  10

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

  6