略歴


1986-3 慶應義塾大学 理工学部 数理科学科卒業.
1988-3 同大学 大学院 理工学研究科 数理科学専攻 前期博士課程 修了.
1994-3 同専攻 後期博士課程 単位取得退学.
1997-3 博士(工学) (慶應義塾大学)
1997-6 電気通信大学 大学院情報システム学研究科 助手
2000-4 筑波大学 講師 (電子・情報工学系)
2004-5 筑波大学 大学院 システム情報工学研究科 助教授 (2007年 准教授)
1994-4〜1995-5 (株)トレンディ
1997-3 電子技術総合研究所非常勤研究員
1999-4〜2003-4 情報処理学会 会誌編集委員(書評・ニュース分野)
2001-4〜2005-3 情報処理学会 プログラミング研究会 運営委員
2001-4〜2005-3 情報処理学会 論文誌プログラミング 編集委員
2001-6〜2003-5 並列処理シンポジウム 会場幹事, SACSIS 2003 ローカルアレンジメント委員長
2002-4〜2006-3 情報処理学会 会誌編集委員
2006-4〜2008-3 情報処理学会 プログラミング研究会 幹事
2008-4〜2008-12 情報処理学会 プログラミング研究会 主査
2011-3〜2012-3 第14回プログラミングおよびプログラミング言語ワークショップ(PPL2012) プログラム共同委員長
2014-3〜 日本ソフトウェア科学会 プログラミング論研究会 運営委員

情報処理学会, ACM, 日本ソフトウエア科学会 各会員