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