点击查看原图

古天龙 正高级 (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.  
知识产权
联系信息

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

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

常用链接