【生卒】：1933—

【介绍】：

天台人。西北大学计算机科学系教授，兼《纯粹数学与应用数学》杂志编委。曾负责设计和生产线切割机。出版《离散数学》等书。发表《分配格充要条件的一个直接证明》等论文多篇。近来致力于计算机通用代码语言的研究。合作完成能直接使用汉语编程的「通用代码—汉字BASIC系统」及「通用代码—汉字计算机程序设计语言卡」，後者获1993年全国专利科技成果金奖。