西北大学计算机科学系教授。1960年在西北大学数学系毕业后留校任教。曾任计算机理论教研室主任。长期从事离散数学、模糊数学、形式语言与自动机、计算机软件、硬件方面的教学和研究工作。主讲本科生和研究生十余门课程。合著有《离散数学》。发表论文20多篇。《模糊——最大星传递闭包》中的结果，改正了1，A，Zadeh的有关论断。关系和模糊关系方面的研究成果，有些被编入本科生教材，有些被编入研究生教材。提出了“通用代码语言”理论。据此理论，主持并从事“通用代码——汉字BASIC语言”研制。这是使用“通用代码”、具有“汉字关键字”的计算机高级语言。1994年通过陕西省教委主持的鉴定。参加063微型计算机的研制，是该机接口电路的主要设计者；该机1980年通过陕西省电子厅主持的鉴定。“离散数学的课程建设”获陕西省优秀教学成果二等奖（集体奖）；“关系及模糊关系性质的研究”获陕西省教委科技进步二等奖；多次被评为西北大学优秀教师；获505奖励基金一等奖。1990年被载入《世界数学家名录》。1995年被载入《DICTIONARY OF INTERNATIONA1 BIOGRAPHY》（第23版）。