（创建页面，内容为“ 古天龙，教授、博士、博士生导师、桂林电子科技大学校长，1964年生于山西芮城。 分别于1984年、1987年、1996年在太原理工...”） |
无编辑摘要 |
||
| （未显示同一用户的1个中间版本） | |||
| 第1行： | 第1行： | ||
古天龙(1964- ) | |||
<br>古天龙，1964年生于山西芮城。分别于1984年、1987年、1996年在太原理工大学、西安电子科技大学和浙江大学获工学学士、硕士、博士学位。现任暨南大学信息科学技术学院教授，博士生导师，可信人工智能教育部工程研究中心主任。1998年至2002年在澳大利亚CURTIN理工大学、MURDOCH大学进行博士后和客座访问研究。曾任西安电子科技大学教授，桂林电子科技大学副校长、校长。IEEE高级会员、ACM会员、教育部高等学校计算机科学与技术教学指导委员会软件工程专业分会委员、中国计算机学会Petri网专委会委员、广西计算机学会副理事长、《计算机科学》编委。 | |||
<br>荣获首批新世纪国家“百千万人才工程”人选，国务院政府特殊津贴专家（2004年），全国模范教师（1998年），“广西高校跨世纪中青年学科带头人”（1996年），广西教学名师（2008年）、广西优秀专家（2007年）、广西高校杰出科技人才（2009年）、广西优秀留学回国人员（2006年），广西侨界青年杰出人物，广西“十百千人才工程”人选，广西高校跨世纪中青年学科带头人，电子工业系统优秀教师（1997年），电子工业部优秀科技青年（1996年）等。兼任教育部高等学校计算机类教学指导委员会副主任委员、中国人工智能学会机器博弈专委会副主任委员、知识工程与分布式智能专委会委员，中国计算机学会Petri网专委会委员、电子政务与办公自动化专委会委员、计算机工程与工艺专委会委员，《计算机科学》《计算机教育》编委。 | |||
<br>主要研究领域为：软件工程与形式化方法、知识工程与符号推理、计算机辅助工程、协议工程与移动计算、离散事件/混杂系统等。近年来主持国家863计划项目、国家自然科学基金、国防预研重点项目、国防预研基金、中澳国际合作项目、教育部留学回国人员基金等30余项；出版学术著作《有序二叉决策图及应用》《软件开发的形式化方法》《网络协议的形式化分析与设计》等3部；在《Formal Methods in Systems Design》《Computer Aided Design》《Journal of Automated Reasoning》《Computers & Operations Research》《计算机学报》《软件学报》《通信学报》《自动化学报》《航空学报》等国内外重要学术刊物发表学术论文130余篇（其中SCI、EI收录63篇）。 | |||
<br> | |||
<br>https://xxxy.jnu.edu.cn/2023/0421/c27489a745475/page.htm | |||
2025年11月23日 (日) 15:37的最新版本
古天龙(1964- )
古天龙，1964年生于山西芮城。分别于1984年、1987年、1996年在太原理工大学、西安电子科技大学和浙江大学获工学学士、硕士、博士学位。现任暨南大学信息科学技术学院教授，博士生导师，可信人工智能教育部工程研究中心主任。1998年至2002年在澳大利亚CURTIN理工大学、MURDOCH大学进行博士后和客座访问研究。曾任西安电子科技大学教授，桂林电子科技大学副校长、校长。IEEE高级会员、ACM会员、教育部高等学校计算机科学与技术教学指导委员会软件工程专业分会委员、中国计算机学会Petri网专委会委员、广西计算机学会副理事长、《计算机科学》编委。
荣获首批新世纪国家“百千万人才工程”人选，国务院政府特殊津贴专家（2004年），全国模范教师（1998年），“广西高校跨世纪中青年学科带头人”（1996年），广西教学名师（2008年）、广西优秀专家（2007年）、广西高校杰出科技人才（2009年）、广西优秀留学回国人员（2006年），广西侨界青年杰出人物，广西“十百千人才工程”人选，广西高校跨世纪中青年学科带头人，电子工业系统优秀教师（1997年），电子工业部优秀科技青年（1996年）等。兼任教育部高等学校计算机类教学指导委员会副主任委员、中国人工智能学会机器博弈专委会副主任委员、知识工程与分布式智能专委会委员，中国计算机学会Petri网专委会委员、电子政务与办公自动化专委会委员、计算机工程与工艺专委会委员，《计算机科学》《计算机教育》编委。
主要研究领域为：软件工程与形式化方法、知识工程与符号推理、计算机辅助工程、协议工程与移动计算、离散事件/混杂系统等。近年来主持国家863计划项目、国家自然科学基金、国防预研重点项目、国防预研基金、中澳国际合作项目、教育部留学回国人员基金等30余项；出版学术著作《有序二叉决策图及应用》《软件开发的形式化方法》《网络协议的形式化分析与设计》等3部；在《Formal Methods in Systems Design》《Computer Aided Design》《Journal of Automated Reasoning》《Computers & Operations Research》《计算机学报》《软件学报》《通信学报》《自动化学报》《航空学报》等国内外重要学术刊物发表学术论文130余篇（其中SCI、EI收录63篇）。
https://xxxy.jnu.edu.cn/2023/0421/c27489a745475/page.htm