beat·365体育亚洲入口(中国)官方网站

古天龙正高级 (cctlgu@guet.edu.cn)

beat365体育亚洲入口

人工智能;大数据;信息安全;云计算

个人简介

分别于1984年、1987年、1996年在太原理工大学、西安电子科技大学和浙江大学获工学学士、硕士、博士学位。1998年至2002年在澳大利亚CURTIN理工大学、MURDOCH大学进行博士后和客座访问研究。现为西安电子科技大学计算机应用技术学科兼职博士生导师，beat365体育亚洲入口网络空间安全学科博士生导师。

兼任教育部高等学校计算机类专业教学指导委员会副主任委员，中国人工智能学会离散智能计算专委会副主任委员、知识工程与分布式智能专委会委员，中国计算机学会电子政务与办公自动化专委会委员、计算机工程与工艺专委会委员，中国-东盟卫星导航国际合作联盟理事长，卫星导航定位与位置服务国家地方联合工程研究中心主任，广西计算机学会副理事长，《计算机科学》《计算机教育》编委。

荣获首批新世纪国家“百千万人才工程”人选，国务院政府特殊津贴专家，全国模范教师，中国侨界创新人才贡献奖，广西教学名师，广西优秀专家，广西高校杰出科技人才，广西优秀留学回国人员，广西侨界青年杰出人物，广西“十百千人才工程”人选，广西高校跨世纪中青年学科带头人，电子工业系统优秀教师，电子工业部优秀科技青年等。

近年来主持国家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，beat365体育亚洲入口，教授，校长

2003/08 - 2013/11，beat365体育亚洲入口，教授，副校长

2002/03 - 2003/08，beat365体育亚洲入口，计算机学院，教授，院长

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.

知识产权

联系信息

个人主页: http://www.scholat.com/gutianlong

电子邮箱: cctlgu@guet.edu.cn

常用链接