基本信息
古天龙　教授
博导
博士学科：(081203)计算机应用技术
硕士学科：　
工作单位：

联系方式
通信地址：桂林市 金鸡路1号 桂林电子科技大学
电子邮箱：cctlgu@guet.edu.cn
办公电话：
办公地点：桂电


个人简介
古天龙（教授/博导/博士） 分别于1984.08、1986.12、1996.01在太原理工大学、西安电子科技大学、浙江大学获工学学士、硕士、博士学位。1998.01- 2002.03在澳大利亚CURTIN理工大学、MURDOCH大学进行博士后和客座访问研究。现为教育部高等学校教学指导委员会委员、《计算机科学》编委。主要研究领域为：软件工程与形式化方法；移动计算与协议工程；符号计算与知识工程等。入选“国家百千****才工程”（2004年）、“广西十百千人才工程”（2000年）、“广西高校跨世纪中青年学科带头人”（1996年），并荣获国务院政府特殊津贴专家（2004年）、全国模范教师（1998年）、电子工业部优秀科技青年（1996年）、电子工业系统优秀教师（1997年）、广西教学名师（2008年）、广西优秀专家（2007年）、广西高校杰出科技人才（2009年）、广西优秀留学回国人员（2006年）等。
现任桂林电子科技大学副校长，2001.03至今为西安电子科技大学博士生导师。
兼任教育部高等学校计算机科学与技术教学指导委员会软件工程专业分会委员；
中国人工智能学会知识工程与分布式智能专委会委员；
中国人工智能学会机器博弈专业委员会副主任委员；
中国计算机学会电子政务与办公自动化专委会委员；
中国计算机学会计算机工程与工艺专委会委员；
中国计算机学会Petri网专委会委员；
《计算机科学》编委。

主要研究方向
软件工程与形式化方法；移动计算与协议工程；符号计算与知识工程；计算机辅助设计

---

基本信息
古天龙　教授
博导
博士学科：(081203)计算机应用技术
硕士学科：　
工作单位：

联系方式
通信地址：桂林市 金鸡路1号 桂林电子科技大学
电子邮箱：cctlgu@guet.edu.cn
办公电话：
办公地点：桂电


个人简介
古天龙（教授/博导/博士） 分别于1984.08、1986.12、1996.01在太原理工大学、西安电子科技大学、浙江大学获工学学士、硕士、博士学位。1998.01- 2002.03在澳大利亚CURTIN理工大学、MURDOCH大学进行博士后和客座访问研究。现为教育部高等学校教学指导委员会委员、《计算机科学》编委。主要研究领域为：软件工程与形式化方法；移动计算与协议工程；符号计算与知识工程等。入选“国家百千****才工程”（2004年）、“广西十百千人才工程”（2000年）、“广西高校跨世纪中青年学科带头人”（1996年），并荣获国务院政府特殊津贴专家（2004年）、全国模范教师（1998年）、电子工业部优秀科技青年（1996年）、电子工业系统优秀教师（1997年）、广西教学名师（2008年）、广西优秀专家（2007年）、广西高校杰出科技人才（2009年）、广西优秀留学回国人员（2006年）等。
现任桂林电子科技大学副校长，2001.03至今为西安电子科技大学博士生导师。
兼任教育部高等学校计算机科学与技术教学指导委员会软件工程专业分会委员；
中国人工智能学会知识工程与分布式智能专委会委员；
中国人工智能学会机器博弈专业委员会副主任委员；
中国计算机学会电子政务与办公自动化专委会委员；
中国计算机学会计算机工程与工艺专委会委员；
中国计算机学会Petri网专委会委员；
《计算机科学》编委。

主要研究方向
软件工程与形式化方法；移动计算与协议工程；符号计算与知识工程；计算机辅助设计

---

科学研究
目前研究团队承担的科研项目：
① 国家自然科学基金,面向装配规划的领域知识表示及推理研究,2010-2012
② 国家自然科学基金,基于描述逻辑和模型检测的行动理论研究,2010-2012
③ 国家自然科学基金,基于依赖公式抽象的软件模型检测研究,2007-2009
④ 广西自然科学重点基金,基于符号OBDD的装配序列规划研究,2008-2010
⑤ “离散数学”国家级精品课程负责人
⑥ “计算机核心基础课程”国家级教学团队负责人
近年来主持国家863计划项目、国家自然科学基金、*科研项目*、*科研项目*、中澳国际合作项目、教育部留学回国人员基金等30余项。

---

学术论文
在《Formal Methods in Systems Design》《Computer Aided Design》《Computers & Operations Research》《计算机学报》《通信学报》《自动化学报》《航空学报》等国内外重要学术刊物发表学术论文130余篇（其中SCI、EI收录63篇）。
① Tianlong Gu, Zhoubo Xu and Huadong Liu. The Symbolic OBDD Scheme for Generating Mechanical Assembly Sequences. Formal Methods in Systems Design, 2008,33(1):29-44
② Tianlong Gu, and Zhifei Yang. Symbolic OBDD Representations for Mechanical Assembly Sequences. Computer Aided Design,2008,40(4):411-421
③ Tianlong Gu, and Zhoubo Xu. The Symbolic Algorithms for Maximum Flow in Networks. Computer& Operations Research, 2007, 34(2): 799-816
④ Tianlong Gu, and Parisa A Bahri. A Survey of Petri-Net Applications in Batch Processes. Computers in Industry, 2002,47(1):99-111
⑤ Tianlong Gu, and Rongsheng Dong. A Novel Continuous Model to Approximate Time Petri Nets: Modeling and Analysis. Int. J. Applied Math. & Computer Science, 2005,15(1):141-150
⑥ 刘霞,古天龙,郭云川. 移动环境公平支付协议的设计与分析研究. 通信学报, 2007,28(4): 32-37
⑦ 李凤英,古天龙,徐周波. Petri网的符号ZBDD可达树分析技术. 计算机学报,2009,32(12):2420-2428
⑧ 古天龙,徐周波. 有序二叉决策图及其应用. 北京：科学出版社，2009.06
⑨ 古天龙. 软件开发的形式化方法. 北京：高等教育出版社，2005.01
⑩ 古天龙,蔡国永. 网络协议的形式化分析与设计. 北京：电子工业出版社，2003.06

---

荣誉获奖
出版学术著作/教材《有序二叉决策图及应用》《软件开发的形式化方法》《网络协议的形式化分析与设计》《软件工程》《计算机科学与技术方法论》《离散数学》等6部；

---

科研团队
团队教师




博士研究生
硕士研究生

---

课程教学
目前本人承担的教学任务：

课件下载 示例

---

招生要求
~~~~~~~~~~~~~~~~~~~~~~~~~~
关于研究生招生的信息：
~~~~~~~~~~~~~~~~~~~~~~~~~~