【退任】国立情報学研究所（ＮＩＩ）副所長・教授。1978年早稲田大学大学院理工学研究科修士課程修了。同年東芝に入社し、主としてソフトウェアの研究に従事。2000年にＮＩＩへ。01年から東京大学大学院情報理工学系研究科教授を兼任。早稲田大学と英国UCL(University College London)の客員教授も務める。専門は計算機科学。工学博士。※２０１３年３月末退任
【退任】国立情報学研究所（ＮＩＩ）副所長・教授。1978年早稲田大学大学院理工学研究科修士課程修了。同年東芝に入社し、主としてソフトウェアの研究に従事。2000年にＮＩＩへ。01年から東京大学大学院情報理工学系研究科教授を兼任。早稲田大学と英国UCL(University College London)の客員教授も務める。専門は計算機科学。工学博士。※２０１３年３月末退任
2013年03月01日
2012年12月26日
2012年11月30日
2012年10月19日
2012年08月31日
2012年07月19日
2012年07月09日
2012年06月16日
2012年05月12日
2012年04月30日
2012年04月02日
