1969年東京大学理学部数学科．1971年同理学系研究科数学専攻修士．同年NTT研究所．主に基礎研究部門において，記号処理プログラミングシステムなどを研究・開発．1997年電気通信大学情報工学科教授，2005年東京大学情報理工学系研究科教授，2011年早稲田大学基幹理工学研究科教授を歴任．東京大学名誉教授．現在はIPA未踏事業統括プロジェクトマネージャ，一般社団法人未踏代表理事などを務め，未踏への関わりが通算24年以上になり，ライフワークとなっている．一昨年11月に大規模入院をするも，奇跡的に復活し，過去に行った生前葬や遺言状連載がうやむやになってきた。