1、1984年毕业于武汉大学计算机系，1986年研究生毕业于国防科技大学计算机系，并留校任教
2、1999年在国防科技大学计算机学院获博士学位
3、1989年任讲师，1994年任副教授，2001年任教授，2002年任博士生导师
4、2005年从国防科技大学转业，分配到北京航空航天大学计算机学院
5、现任北京航空航天大学计算机学院教授、博士生导师
6、欧洲理论计算机科学学会（EATCS）会员，中国计算机学会高级会员，理论计算机科学专业委员会委员，学术期刊“International Journal of Data Mining and Bioinformatics ” (IJDMB) 编委，ICYCS200BASICS’ 200IEEE DMB’ 2006 、BioDM’2007和IEEE DMIR’2007等国际会议的程序委员会委员
7、先后承担或主持多个国家自然科学基金和国家863计划课题，在进程代数理论、软件形式化开发方法、安全协议形式化分析与验证技术、数据挖掘技术等方面取得重要研究成果，一些重要工作被国内外同行所引用
8、在《中国科学》、《计算机学报》、《软件学报》和《Journal of Computer Science and Technology》、《International Journal of Data Mining and Bioinformatics》等学报和ICALP’9TACAS’9APPT’200ER’200AI’200HPCC’200SEKE’200JMLC’200GrC’200IEEE DMB’ 200DS’ 200PAKDD’ 200DMIR’2007和HPDMA2007等国际学术会议上发表论文60多篇
9、长期从事计算机科学理论方面的教学工作，先后主讲了《离散数学》、《抽象代数》、《形式语言》、《形式语义学》和《计算机理论高级专题》等多门本科生、硕士生和博士生课程
10、设计并实现了一个π-演算的定理证明器 PiM
11、设计和实现了一个基于进程代数和逻辑程序的安全协议验证工具原型SPVT（v0），已获得计算机软件著作权登记（登记号：2004SR04230）
12、目前已推出改进版本
本文内容由互联网用户自发贡献，该文观点仅代表作者本人。如发现本站有涉嫌抄袭侵权/违法违规的内容，请发送邮件至举报，一经查实，本站将立刻删除。本文链接： http://www.tgcxw.com/kx/57167.html
