出处：按学科分类—历史、地理 江西人民出版社《浙江古今人物大辞典下》第217页（213字）
【生卒】：1931—
【介绍】：
嘉善人。教授，博士生导师。先后在清华大学、上海交通大学任教。上海市第八届人大代表。国务院学位委员会第二、三届学科评议组成员。专长计算机软件。曾获国家自然科学三等奖、国家教委科技进步二、三等奖。编着有《程序设计自动化基础》，合着有《自动化程序基础》、《数据结构》、《编译程序原理》等，主要论文有《函数方程(组)的展开定理和S限制泛函型》等数十篇。