1970年3月 | 東京大学 工学部計数工学科卒業 |
1977年12月 | マサチューセッツ工科大学(MIT) 計算機科学科博士課程修了 |
1988年10月~2011年3月 | 東京大学 大学院情報理工学系研究科 コンピュータ科学専攻 教授 |
2006年4月~2010年3月 | 東京大学情報基盤センター長 |
2008年10月~現在 | 日本学術会議会員(21期) |
2011年4月~現在 | 理化学研究所 計算科学研究機構副機構長 |
並列・分散計算、プログラミング言語、ソフトウエア工学
米国計算機学会フェロー、米国マイクロソフト社TCAAB (Trust-worthy Computing Academic Advisory Board)メンバー、(独)産業技術総合研究所 情報セキュリティ研究センター副センター長、AITO「ダール・ニゴール賞」受賞、等