【生卒】：1937—

【介绍】：

杭州人。浙江大学计算机系教授，曾任系主任、教务处处长、计算机软件研究中心常务副主任。中国知识工程学会副理事长，全国高等理科教育研究会常务理事。编着《电子数字计算机原理》、《数量逻辑》等教材。合着《人工智能基础与技术》等。获1987年省高校教书育人、为人师表优秀教师奖和省优秀教学成果二等奖2项。承担国家自然科学基金、863智能机专题及国防科工委「七五」、「八五」科研项目共8项，撰写论文60余篇。