古天龍，桂林電子科技大學(xué)教授、校長(zhǎng)，教育部高等學(xué)校計(jì)算機(jī)類專業(yè)教學(xué)指導(dǎo)委員會(huì)副主任。1964年11月生，漢族，籍貫山西芮城，1999年7月加入中國(guó)共產(chǎn)黨，研究生學(xué)歷，工學(xué)博士。出版學(xué)術(shù)著作6部，在國(guó)內(nèi)外重要學(xué)術(shù)刊物發(fā)表學(xué)術(shù)論文120余篇（其中SCI、EI收錄50余篇）。 主要研究領(lǐng)域?yàn)椋很浖こ膛c形式化方法、知識(shí)工程與符號(hào)推理、計(jì)算機(jī)輔助工程、協(xié)議工程與移動(dòng)計(jì)算、離散事件/混雜系統(tǒng)等。 主持國(guó)家863計(jì)劃項(xiàng)目、國(guó)家自然科學(xué)基金、國(guó)防預(yù)研重點(diǎn)項(xiàng)目、國(guó)防預(yù)研基金、中澳國(guó)際合作項(xiàng)目、教育部留學(xué)回國(guó)人員基金等30余項(xiàng)；出版學(xué)術(shù)著作《有序二叉決策圖及應(yīng)用》《軟件開發(fā)的形式化方法》《網(wǎng)絡(luò)協(xié)議的形式化分析與設(shè)計(jì)》等3部；在《Formal Methods in Systems Design》《Computer Aided Design》《Journal of Automated Reasoning》《Computers & Operations Research》《計(jì)算機(jī)學(xué)報(bào)》《軟件學(xué)報(bào)》《通信學(xué)報(bào)》《自動(dòng)化學(xué)報(bào)》《航空學(xué)報(bào)》等國(guó)內(nèi)外重要學(xué)術(shù)刊物發(fā)表學(xué)術(shù)論文130余篇（其中SCI、EI收錄63篇）。 開設(shè)本科生/研究生課程6門，指導(dǎo)碩士研究生36人、博士研究生12人。承擔(dān)教育科學(xué)研究和教學(xué)改革項(xiàng)目13項(xiàng)，出版研究生/本科生教材《軟件工程》《計(jì)算機(jī)科學(xué)與技術(shù)方法論》《離散數(shù)學(xué)》等3部。國(guó)家級(jí)精品課程、國(guó)家級(jí)特色專業(yè)、國(guó)家級(jí)教學(xué)團(tuán)隊(duì)、國(guó)家級(jí)人才培養(yǎng)模式創(chuàng)新實(shí)驗(yàn)區(qū)負(fù)責(zé)人。