1982年 東京大学大学院博士課程修了、工学博士。同年より（財）新世代コンピュータ技術開発機構（ICOT）において第五世代コンピュータの研究開発に従事。1995年東京大学工学系研究科助教授、1996年同教授、その後学内異動を経て2014年名誉教授。プログラム言語処理系、並列分散処理、OS、機械学習応用などの研究に従事。ACM-ICPC 地区大会の日本での開催開始時（1998）から審判、審判長、運営委員長、ボードメンバーを歴任。2012 年からは情報処理学会国際人工知能プログラミングコンテスト（SamurAI Coding）の運営に携わっている。