古天龙

古天龙，桂林电子科技大学教授、校长，教育部高等学校计算机类专业教学指导委员会副主任。1964年11月生，汉族，籍贯山西芮城，1999年7月加入中国共产党，研究生学历，工学博士。出版学术著作6部，在国内外重要学术刊物发表学术论文120余篇（其中SCI、EI收录50余篇）。 主要研究领域为：软件工程与形式化方法、知识工程与符号推理、计算机辅助工程、协议工程与移动计算、离散事件/混杂系统等。 主持国家863计划项目、国家自然科学基金、国防预研重点项目、国防预研基金、中澳国际合作项目、教育部留学回国人员基金等30余项；出版学术著作《有序二叉决策图及应用》《软件开发的形式化方法》《网络协议的形式化分析与设计》等3部；在《Formal Methods in Systems Design》《Computer Aided Design》《Journal of Automated Reasoning》《Computers & Operations Research》《计算机学报》《软件学报》《通信学报》《自动化学报》《航空学报》等国内外重要学术刊物发表学术论文130余篇（其中SCI、EI收录63篇）。 开设本科生/研究生课程6门，指导硕士研究生36人、博士研究生12人。承担教育科学研究和教学改革项目13项，出版研究生/本科生教材《软件工程》《计算机科学与技术方法论》《离散数学》等3部。国家级精品课程、国家级特色专业、国家级教学团队、国家级人才培养模式创新实验区负责人。