1943年台湾生まれ。1967年、東京大学理学部数学科を卒業。1969年、東京大学大学院理学系研究科数学専門課程修士を修了。現在、東京大学大学院情報理工学系研究科数理情報学専攻教授。理学博士（02年2月現在）