科研家古天龙

古天龙，男，1964年11月生，汉族，籍贯山西芮城，1999年7月加入中国共产党，研究生学历，工学博士，现任桂林电子科技大学党委副书记、校长。

简介：

古天龙，男，1996.01于浙江大学获工博士学位。

简历：

1998.01- 2002.03在澳大利亚CURTIN理工大学、MURDOCH大学进行博士后和客座访问研究。

1998年破格晋升教授。

现任桂林电子科技大学校长，

2001.03至今为西安电子科技大学博士生导师。

2013年11月，任桂林电子科技大学党委副书记、校长。

表态：

校长古天龙在讲话中感谢组织的信任，感谢广大教职员工的支持，感谢班子成员的帮助和支持。古天龙表示，新的工作岗位使命光荣，责任重大，将坚决贯彻党委领导下的校长负责制，坚持走以质量提升为核心的内涵式发展道路，求真务实，廉洁自律，尽职尽责，不遗余力，努力交出一份让组织满意，让广大教职工满意的答卷。

著作：

出版学术著作6部，在国内外重要学术刊物发表学术论文120余篇（其中SCI、EI收录50余篇）。

荣誉：

入选“国家百千万人才工程”(2004)、“广西十百千人才工程”（2000）、“广西高校跨世纪中青年学科带头人”（1996），并荣获国务院政府特殊津贴专家（2004）、全国模范教师（1998）、电子工业部优秀科技青年（1996） 、电子工业系统优秀教师（1997）、广西教学名师（2008）、广西优秀专家（2007）、广西优秀留学回国人员（2006）、广西侨界青年杰出人物（2011）等。

兼职：

兼任教育部高等学校计算机科学与技术教学指导委员会软件工程专业分会委员；

中国人工智能学会知识工程与分布式智能专委会委员；

中国人工智能学会机器博弈专业委员会副主任委员；

中国计算机学会电子政务与办公自动化专委会委员；

中国计算机学会计算机工程与工艺专委会委员；

中国计算机学会Petri网专委会委员；

《计算机科学》编委。

研究方向：

主要研究领域为：软件工程与形式化方法、知识工程与符号推理、计算机辅助工程、协议工程与移动计算、离散事件/混杂系统等。

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

开设本科生/研究生课程6门，指导硕士研究生36人、博士研究生12人。承担教育科学研究和教学改革项目13项，出版研究生/本科生教材《软件工程》《计算机科学与技术方法论》《离散数学》等3部。国家级精品课程、国家级特色专业、国家级教学团队、国家级人才培养模式创新实验区负责人。