古天龙

古天龙，教授、博士、博士生导师、桂林电子科技大学校长，1964年生于山西芮城。 分别于1984年、1987年、1996年在太原理工大学、西安电子科技大学和浙江大学获工学学士、硕士、博士学位。1998年至2002年在澳大利亚CURTIN理工大学、MURDOCH大学进行博士后和客座访问研究。1998年破格晋升教授，2001年至今为西安电子科技大学计算机应用技术学科博士生导师。

荣获首批新世纪国家“百千万人才工程”人选，国务院政府特殊津贴专家，全国模范教师，广西教学名师，广西优秀专家，广西高校杰出科技人才，广西优秀留学回国人员，广西侨界青年杰出人物，广西“十百千人才工程”人选，广西高校跨世纪中青年学科带头人，电子工业系统优秀教师，电子工业部优秀科技青年等。兼任教育部高等学校计算机类教学指导委员会副主任委员、中国人工智能学会机器博弈专委会副主任委员、知识工程与分布式智能专委会委员，中国计算机学会Petri网专委会委员、电子政务与办公自动化专委会委员、计算机工程与工艺专委会委员，《计算机科学》《计算机教育》编委。

主要研究领域为：软件工程与形式化方法、知识工程与符号推理、计算机辅助工程、协议工程与移动计算、离散事件/混杂系统等。近年来主持国家863计划项目、国家自然科学基金、国防预研重点项目、国防预研基金、中澳国际合作项目、教育部留学回国人员基金等30余项；出版学术著作《有序二叉决策图及应用》《软件开发的形式化方法》《网络协议的形式化分析与设计》等3部；在《Formal Methods in Systems Design》《Computer Aided Design》《Journal of Automated Reasoning》《Computers & Operations Research》《计算机学报》《软件学报》《通信学报》《自动化学报》《航空学报》等国内外重要学术刊物发表学术论文130余篇（其中SCI、EI收录63篇）。