1969年東京大学理学部数学科、1971年同理学系研究科数学専攻修士、同年NTT研究所に所属。主に基礎研究部門において、記号処理プログラミングシステムなどを研究・開発。1997年電気通信大学情報工学科教授、2005年東京大学情報理工学系研究科教授、2011年早稲田大学基幹理工学研究科教授を歴任。 現在は、IPA未踏事業統括プロジェクトマネージャや、一般社団法人未踏代表理事などを努めている。プログラミング教育については、社会人・大学院生・学部生・高校生〜小学生までの広い範囲で実務経験がある。
19商品