姓名： 古天龙
教授 男 桂林电子科技大学 邮箱:cctlgu@guet.edu.cn





研究领域大数据，人工智能，信息安全，云计算，物联网
个人简介

分别于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余篇）。
开设本科生/研究生课程9门，指导硕士研究生81人、博士研究生16人。承担教育科学研究和教学改革项目13项，出版研究生/本科生教材《软件工程》《计算机科学与技术方法论》《离散数学》等3部。国家级精品课程、国家级特色专业、国家级教学团队、国家级人才培养模式创新实验区负责人。

教育背景

分别于1984.08、1986.12、1996.01在太原理工大学、西安电子科技大学、浙江大学获工学学士、硕士、博士学位。
工作经历

2018.08 – 至今，广西壮族自治区政协，教科文卫体委员会，副主任
2013/11 – 2018.08，桂林电子科技大学，教授，校长
2003/08 - 2013/11，桂林电子科技大学，教授，副校长
2002/03 - 2003/08，桂林电子科技大学，计算机学院，教授，院长
1999/01 - 2002/03，澳大利亚Murdoch 大学，工学院，研究员
1998/01 - 1999/01，澳大利亚Curtin 理工大学，工学院，博士后
1996/04 - 1998/01，桂林电子工业学院，计算机系，副教授
主要荣誉

广西科技进步二等奖（2018）
广西科技进步二等奖（2017）
广西科技进步二等奖（2015）
国家级教学成果二等奖（2014）
广西自然科学奖二等奖（2013）
广西教学成果特等奖（2012）
新世纪百千****才工程国家级人选（2004）
国务院政府特殊津贴专家（2004）
广西优秀教学成果一等奖（2004）
广西社会科学优秀成果三等奖（2004）
广西优秀教材一等奖（2003）
广西十百千人才工程人选（2000）
全国模范教师称号（1998）
广西高校科技进步二等奖（1998）
电子工业系统优秀教师（1997）
广西高校跨世纪中青年学科带头人（1996）
电子工业部优秀科技青年（1996）

学术活动

教学信息

主讲课程：
离散数学（本科生，国家级精品课程）
自动控制原理（本科生）
形式语言与自动机（本科生）
人工智能概论（本科生）
离散事件动态系统理论（研究生）
形式化方法（研究生）
协议工程（研究生）
运筹学（研究生）
人工智能原理（研究生）
部分论文(*通讯作者)

学术著作

[1] 古天龙, 常亮. 离散数学. 北京：清华大学出版社. 2012 .04
[2] 古天龙, 徐周波. 有序二叉决策图及应用. 北京：科学出版社. 2009 .04
[3] 陈光喜, 丁宣浩, 古天龙. 离散数学.. 北京：电子工业出版社. 2008 .01
[4] 古天龙. 软件开发的形式化方法. 北京：高等教育出版社. 2005 .01
[5] 杨文龙, 古天龙. 软件工程. 北京：电子工业出版社. 2004 .09
[6] 古天龙, 蔡国永. 网络协议的形式化分析与设计. 北京：电子工业出版社. 2003 .06
[7] 董荣胜, 古天龙. 计算机科学与技术方法论. 北京：人民邮电出版社. 2002 .09
科研项目

[1] “基于大数据的政府治理综合示范应用（子课题）”.国家自然科学基金重点项目,2018-2021.
[2] “智慧旅游服务及应用示范”.广西科技重大专项项目,2017-2020.
[3] “面向智慧城市的大规模数据计算理论和关键技术”.国家自然科学基金重点项目,2016-2019.
[4] “基于符号决策图的图数据表示和匹配研究”.国家自然科学基金面上项目,2016-2019.
[5] “中国-东盟卫星导航国际联合创新平台”.广西科技基地和人才专项,2017-2020.
[6] “大规模图数据的表示、匹配和推理研究”.广西自然科学基金重点项目，2016-2019.
[7] “基于描述逻辑及符号算法的事例相似性研究” .国家自然科学基金项目, 2013.01-2016.12 .
[8] “面向装配规划的领域知识表示及推理研究” .国家自然科学基金项目, 2010.01-2012.12.
[9] “基于符号OBDD的装配序列规划研究” .广西自然科学基金重点项目, 2008.04-2010.04.
[10] “装配序列生成的符号技术研究” .国家自然科学基金项目, 2006.01-2008.12.
[11] “UML Statecharts及其时间扩展的模型检验技术研究” .广西自然科学基金项目, 2005.07-2008.07.
[12] “Petri网符号分析/验证工具开发及应用研究” .广西新世纪十百千人才工程专项基金项目, 2005.01 --2007.12.
[13] “时间Petri网的符号OBDD调度技术研究” .广西自然科学基金项目, 2004.07-2007.07.
[14] “一类混杂过程的Petri网规格及调度技术研究” .教育部留学回国人员基金项目, 2003.11-2006.12.
[15] “基于对象的分布式实时系统调度模型研究” .广西自然科学基金项目, 2002.07-2004.12 .
[16] “数字化关键技术与产品” .国家863子项目, 2002.01-2004.12.
[17] “混杂生产过程的混杂Petri网建模和符号调度技术研究” .国家自然科学基金项目, 2002.01-2004.12.
[18] “实时混杂模型验证技术及应用研究” .广西自然科学基金项目, 2001.08-2003.12.
[19] “混合间歇/连续生产过程的Petri网调度技术研究” .中澳合作研究项目, 2001.01-2003.12.
[20] “嵌入式实时系统设计环境的研究与开发” .广西十百千人才工程专项基金项目, 2001.01-2003.12.
[21] “基于混杂系统的实时系统设计、验证技术研究” .广西教委跨世纪人才基金项目, 1999.09-2002.12.
[22] "电子书包研制" .国家863子项目, 1999.10-2000.12.
[23] “嵌入式实时系统可预测调度研究” .广西自然科学基金项目, 1998.09-2000.12.
[24] “具有互操作性软件体系模型设计与实现技术研究” .国防预研基金项目, 1997.09-2000.12.
[25] “嵌入式实时系统的软/硬件协同设计研究” .广西跨世纪人才基金项目, 1996.09-1999.12.
[26] “复杂生产过程中离散事件的建摸、分析和控制研究” .广西自然科学基金项目, 1996.09-1998.12.
[27] “基于Ada的形式化规格技术研究” .国防预研重点项目, 1996.01-2000.12.
[28] “面向事件驱动控制问题的Ada代码自动生成研究” .电子工业部电科院预研项目, 1995.09-1997.12.
[29] “离散事件系统理论及应用研究” .电子工业部电科院预研基金项目, 1994.09-1996.12.
[30] “多通道地震数据滤波软件开发” .西安石油仪器研究所横向协作项目, 1988.08-1989.09.
[31] “三维人体参数测量系统研究” .机械电子工业部预研项目, 1987.09-1990.12.
[32] “双反射面天线机电一体化设计技术研究” .机械电子工业部预研项目, 1987.09-1991.08.
[33] “185雷达天线误差修正补偿控制系统开发” .西北电子设备研究所横向协作项目, 1987.02-1988.10 .
专利及知识产权

联系信息

个人主页:http://www.scholat.com/gutianlong
电子邮箱:cctlgu@guet.edu.cn