微信里点“发现”，扫一下
二维码便可将本文分享至朋友圈
演讲摘要：无
讲者简介： 分别于1984年、1987年、1996年在太原理工大学、西安电子科技大学和浙江大学获工学学士、硕士、博士学位。1998年至2002年在澳大利亚CURTIN理工大学、MURDOCH大学进行博士后和客座访问研究。现为西安电子科技大学计算机应用技术学科兼职博士生导师，桂林电子科技大学网络空间安全学科博士生导师。 兼任教育部高等学校计算机类专业教学指导委员会副主任委员，中国人工智能学会离散智能计算专委会副主任委员、知识工程与分布式智能专委会委员，中国计算机学会电子政务与办公自动化专委会委员、计算机工程与工艺专委会委员，中国-东盟卫星导航国际合作联盟理事长，卫星导航定位与位置服务国家地方联合工程研究中心主任，广西计算机学会副理事长，《计算机科学》《计算机教育》编委。 荣获首批新世纪国家;百千万人才工程人选，国务院政府特殊津贴专家，全国模范教师，中国侨界创新人才贡献奖，广西教学名师，广西优秀专家，广西高校杰出科技人才，广西优秀留学回国人员，广西侨界青年杰出人物，广西十百千人才工程人选，广西高校跨世纪中青年学科带头人，电子工业系统优秀教师，电子工业部优秀科技青年等。 近年来主持国家863计划项目、国家自然科学基金、国防预研重点项目、国防预研基金等30余项；出版学术著作《有序二叉决策图及应用》《软件开发的形式化方法》《网络协议的形式化分析与设计》等3部；在《Formal Methods in Systems Design》《Computer Aided Design》《Journal of Automated Reasoning》《计算机学报》《软件学报》《通信学报》《电子学报》《自动化学报》《航空学报》等国内外重要学术刊物发表学术论文200余篇（其中SCI、EI收录100余篇）。
2021CCF中国信息系统战略研讨会
本期嘉宾
京公网安备11010802032778号