古天龍

1996.01，獲浙江大學工學博士學位。

1998.01-2002.03，在澳大利亞CURTIN理工大學、MURDOCH大學進行博士后和客座訪問研究。

1998年，破格晉陞教授。

2001.03，西安電子科技大學博士生導師。

2013.11-2018.08，任桂林電子科技大學黨委副書記、校長。

2018.08，提名為廣西自治區政協教科文衛體委員會副主任人選。

2018年8月9日，廣西壯族自治區人民政府經研究決定：免去古天龍同志的桂林電子科技大學校長職務。

2020年11月，中國人民政治協商會議第十二屆廣西壯族自治區委員會專門委員會發布主任、副主任任免名單，古天龍同志不再擔任教科衛體委員會副主任。

出版學術著作6部，在國內外重要學術刊物發表學術論文120餘篇（其中SCI、EI收錄50餘篇）。

入選“國家百千萬人才工程”(2004)、“廣西十百千人才工程”（2000）、“廣西高校跨世紀中青年學科帶頭人”（1996），並榮獲國務院政府特殊津貼專家（2004）、全國模範教師（1998）、電子工業部優秀科技青年（1996） 、電子工業系統優秀教師（1997）、廣西教學名師（2008）、廣西優秀專家（2007）、廣西優秀留學回國人員（2006）、廣西僑界青年傑出人物（2011）等。

兼任教育部高等學校計算機科學與技術教學指導委員會軟體工程專業分會委員；

中國人工智慧學會知識工程與分散式智能專委會委員；

中國人工智慧學會機器博弈專業委員會副主任委員；

中國計算機學會電子政務與辦公自動化專委會委員；

中國計算機學會計算機工程與工藝專委會委員；

中國計算機學會Petri網專委會委員；

《計算機科學》編委。

主要研究領域為：軟體工程與形式化方法、知識工程與符號推理、計算機輔助工程、協議工程與移動計算、離散事件/混雜系統等。

主持國家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部。國家級精品課程、國家級特色專業、國家級教學團隊、國家級人才培養模式創新實驗區負責人。