基本介紹
個人經歷,任免信息,主要作品,獲得榮譽,社會兼職,研究方向,
個人經歷
1998.01-2002.03，在澳大利亞CURTIN理工大學、MURDOCH大學進行博士後和客座訪問研究。
1998年，破格晉升教授。
2001.03，西安電子科技大學博士生導師。
2013.11-2018.08，任桂林電子科技大學黨委副書記、校長。
2018.08-2020.11，廣西自治區政協教科文衛體委員會副主任。
任免信息
2018年8月9日，廣西壯族自治區人民政府經研究決定：免去古天龍同志的桂林電子科技大學校長職務。
2020年11月12日，政協第十二屆廣西壯族自治區委員會常務委員會第十三次會議通過，古天龍同志不再擔任教科衛體委員會副主任。
主要作品
出版學術著作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部。國家級精品課程、國家級特色專業、國家級教學團隊、國家級人才培養模式創新實驗區負責人。
