1966年毕业吉林大学数学系系,获学士学位,1981年9月毕业于中国科学院计算技术研究所,获硕士学位, 1981年9月至1992年9月,在西安电子科技大学任教,曾任电子线路教研室主任。1992 -1993年在山东大学威海分校任控制系副主任。于1986-1988年在加拿大Calgary大学做访问学者,1999年在德国萨尔州大学从事形式化方法研究。1994-2009年任西安邮电学院计算机系主任。现为西安邮电大学资深教授。《计算机辅助设计和图形学学报》编委。现在主要研究方向有软件和硬件的形式化验证、图形处理器和新型计算机体系结构。先后为研究生和本科生开设《面向计算机科学的数理逻辑》、《数字电路逻辑设计》、《离散数学》、《超大规模集成电路设计》、《专业英语》等课程,培养博士和硕士30名。主持完成了“硬件设计的形式化验证”、“基于时态逻辑的形式化综合”、“用于系统芯片验证的证明引擎研究”、“面向无线通信的自重构NOC研究” 等国家自然科学基金项目。主持完成了国家十五攻关项目“40G/s光纤通信系统与设备” 的“关键ASIC设计”课题,主持陕西省重大产业化项目和多项教学改革项目等。在《计算机学报学报》、《计算机辅助设计和图形学学学报》等国内外学术期刊和国际会议发表论文60余篇。2003年被评为全国优秀教师,2004年评为陕西省教学名师。2006年荣获“陕西省教学名师”称号,2009年获国家科技进步二等奖。获得国家级和省部级科技进步奖以及教学成果8项。