古天龍，教授、博士、博士生導師、桂林電子科技大學校長，1964年生于山西芮城。，分別于1984年、1987年、1996年在太原理工大學、西安電子科技大學和浙江大學獲工學學士、碩士、博士學位。1998年至2002年在澳大利亞Curtin University ofTechnology、Murdoch University進行博士后和客座訪問研究
榮獲首批新世紀國家“百千萬人才工程”人選、國務院政府特殊津貼專家、全國模范教師、中國僑界創新人才貢獻獎、廣西教學名師、廣西優秀專家、廣西高校杰出科技人才、廣西優秀留學回國人員、廣西僑界青年杰出人物、廣西“十百千人才工程”人選、廣西高?？缡兰o中青年學科帶頭人、電子工業系統優秀教師、電子工業部優秀科技青年等；兼任教育部高等學校計算機類教學指導委員會副主任委員，中國人工智能學會離散智能計算專委會副主任委員、教育工作委員會副主任委員，《計算機科學》《計算機教育》雜志編委。
主要研究領域為軟件工程與形式化方法、知識工程與符號推理、協議工程與移動汁算等。近年來主持國家自然科學基金重點項目、國家863計劃項目、國防預研重點項目等30余項；出版學術著作《有序二叉決策圖及應用》《軟件開發的形式化方法》和《網絡協議的形式化分析與設計》等3部，研究生/本科生教材《離散數學》（“十二五”普通高等教育本科國家級規劃教材）、《軟件工程》和《計算機科學與技術方法論》等3部；在國內外重要學術刊物發表學術論文130余篇；國家級精品課程、國家級特色專業、國家級教學團隊、國家級人才培養模式創新實驗區負責人；獲國家級高等教育教學成果二等獎1項，省級高等教育教學成果特等獎1項、一等獎2項。
編者按：
桂林電子科技大學（簡稱“桂電”）是一所電子信息特色鮮明的地方院校，建校50多年來，為國家、行業和地方培養了大批人才，特別是桂電計算機專業，創建30多年來成績斐然，在國內外享有盛譽。作為桂電校長、教育部計算機類專業教指委副主任，一位計算機學科的領軍人物，古天龍教授一直致力于創新創業人才的培養，倡導創新教育，推動成立創新學院、國家級人才培養模式創新實驗區，創建了廣西高校課程聯盟“廣西漓江學堂”，為國內地方高校的應用型人才培養起到了引導作用。
歲末年初，正值國家“十三五規劃”開啟之際，帶著對桂林電子科技大學未來更美好的期待，《計算機教育》雜志主編奚春雁（以下簡稱奚）在山水旖旎的桂電校園里專門拜訪了古天龍校長（以下簡稱古），下面是他們的對談。
奚：古校長好，在目前創新驅動大環境下，您認為計算機類專業的人才培養目標和方法是怎樣的？
古：計算機的產生和計算機技術應用本身就是一大創新，對科技進步和社會發展起到巨大的推動作用。當前，創新驅動發展戰略已經上升為國家戰略，“大眾創新、萬眾創業”風起云涌。在此大環境下，計算機類專業人才培養需多樣化，國家需要不同類型的人才。以應用型人才培養為主的高校，應倡導“能力導向、校企協同、創新驅動”，側重于學生的計算機科學基礎知識和基本理論的綜合應用（包括創造性應用），培養具有計算思維能力、復雜工程問題解決能力、實際動手能力和創新能力的高素質應用型人才；要重視學生理論結合實際能力、綜合實踐能力、創新創業意識的培養；要理清支撐人才培養方向所需知識體系的課程知識點，實施有機銜接、知識點匯集的課程體系框架下的課程建設，形成真正符合專業人才培養目標要求的課程內容；要加強工程實踐教學環節，通過綜合性工程實踐教學體系設計，加強學生的綜合工程訓練，促進學生創新思維習慣的養成，激發學生獲取知識和應用知識的創新意識。
奚：作為計算機類專業教指委副主任，您一直在大力推動MOOC課程建設方面的工作，您認為MOOC對未來高校計算機學科人才培養模式是否會產生革命性的變化？
古：MOOC是信息技術和現代教育相結合的最新產物，提供了一種全新的知識傳播模式和學習方式，這與以往的網絡教學有著本質區別，受到包括美國、加拿大等發達國家的一些著名大學的重視。目前國內一些高校如清華大學、北京大學、浙江大學、上海交通大學等也在進行積極嘗試。MOOC對未來高校計算機人才培養模式帶來的革命性變化是不言而喻的，這種變化不僅僅是計算機教育技術的革新，更將是教育觀念、教育體制、教學方式甚至人才培養過程等方面的創新。
從各學科專業的共性角度而言，MOOC的開發與應用使得情景化教學成為可能，教學場所不再拘泥于教室，教師授課模式、學生學習方式和教學實施形式的變化將引發教育理念和教育體系的全面更新和調整，優秀人才的遴選與培養方式也將發生深刻變化。高?？梢酝ㄟ^MOOC在線教育平臺拓展教育資源渠道，彌補應用型師資不足的問題，同時促進教學研討交流，提高師生教與學的積極性和主動眭，進而產生新的人才培養效果。
奚：作為大學校長，您對高中教育有哪些期望？您怎么看大學教育向高中教育延伸？
古：現階段高中教育對知識傳授和掌握的重視大于對能力培養的重視，一些學生進入大學后出現缺乏專業興趣、不適應大學生活、發展后勁不足等問題。對于高中教育，我認為應當積極關注與高等教育銜接的問題，注重培養學生發現問題、分析問題的能力，尤其是要培養學生的創新思維。
大學與高中相比有著更為豐富的資源、更加廣闊的信息來源，涉獵的知識領域更為廣泛，涉及的學習方法更多，更多地強調主動學習。大學的人才培養模式、教學方式、學習方法、校園文化等是可以向高中教育延伸的，而信息化途徑將是大學教育向高中延伸的一個非常重要的突破口。從知識獲取的角度而言，信息化教育手段的引入、現代化科技手段的充分利用，會拓寬師生獲取知識的途徑，對于學生思維的拓展、能力的培養等都是有益的。從教育模式的拓展上看，信息化教學手段、多樣化的教學方式的運用是教育改革和發展的趨勢。網絡平臺的出現，加快了大學與中學的資源共享尤其是信息共享，為中學生參加大學水平課程的學習甚至獲得網絡學分提供了很多便利。
奚：作為國內四所電子科大之一，您覺得在創新人才培養和教學改革方面，桂電有哪些特點和優勢？
古：作為國內四所電子科大之一，在創新人才培養和教學改革方面，我校有以下幾個方面的特點和優勢：
一是突出工程應用型人才培養。我校一直遵循“需求牽引，工程應用，務實求是，創新實踐”的教育理念，大力推進人才培養模式的改革。自2000年起，構建了由公共課、基礎課、專業基礎課、專業課、實踐教學、工程實訓等六大模塊構成的“4+6+X”工程應用人才培養課程體系，2005年，啟動了電子信息類專業工程應用型人才培養模式改革。2009年，學校獲教育部“電子信息類工程應用型人才培養模式創新實驗區”。2014年，“能力導向、校企協同的地方高校電子信息類工程應用型人才培養模式研究與實踐”獲國家級高等教育教學成果二等獎。
二是搭建了“三融合四層次”人才培養體系?！叭诤稀笔侵刚n內課外、校內校外、教學科研相融合?！八膶哟巍笔侵腹こ陶J知、工程實驗、工程設計、工程實施四個由低到高的漸進實踐體系。
三是實施了“三層四步五類”創新創業教育體系?！叭龑印笔侵富A創新、專業創新與綜合協同創新三個層面的創新教育培養過程?！八牟健敝赴凑铡凹?培-提-引”四步驟循序漸進來開展創新創業教育?！凹ぁ敝讣ぐl學生創新創業的興趣與熱情；“培”指基本技能與理念的培訓；“提”指提高學生的創新設計能力；“引”指引導學生參與更高層次的創新實踐?！拔孱悺敝竸撔聦嵺`的五大類別，即學科競賽、大學生創新創業項目、科研項目、校企協同創新和社會創業實踐。2014年，“政府引導、競賽搭臺的西部少數民族地區大學生創新實踐能力提升的研究與實踐”獲國家級高等教育教學成果二等獎。
四是形成了“三嚴四控”教學質量保障體系?！叭龂馈敝附虒W體系嚴謹、教學過程嚴格、考試考核嚴格；“四控”指培養目標可控、資源條件可控、培養過程可控、培養質量可控?！叭龂浪目亍辟|量保障體系包括校內質量監控體系和校外教學質量監督體系。校外質量監督體系包括政府、社會和第三方機構評價。
奚：您長期從事軟件開發形式化方法的研究，要提高我國軟件工程本科專業人才的質量，您認為形式化方法是其中一個重要方面嗎？
古：形式化方法是基于嚴密的、數學上的形式機制的系統研究方法?？陀^地講，有了數學的應用，就有了形式化方法。從計算機學科角度，一般認為形式化方法是始于20世紀60年代末的Floyd、Hoare和Manna等在計算機程序正確性證明方面的研究，當時由于“軟件危機”，人們試圖用數學方法證明計算機程序的正確性，這些方法后來發展成為各種程序驗證方法。由于受程序規模限制，這些方法并未達到預期的應用效果。從20世紀80年代末開始，在計算機硬件設計領域掀起了形式化方法的學術研究和工業應用的熱潮。學術界和工程界的研究人員開展了大量的工作，建立了許多較為成熟并進入應用的形式化方法相關的理論、方法和技術。從廣義角度，形式化方法是計算機應用系統（軟件、硬件、軟硬件混合）設計、實現及維護的系統工程方法。狹義地，形式化方法是離散數學、數理邏輯、抽象代數等計算機學科基礎理論和計算機應用系統開發的結合，是指導計算機應用系統的工程化開發的方法和技術。
從20世紀90年代開始，形式化方法的教育引起了歐美計算機教育界的高度重視和關注。英國、德國、法國、意大利、荷蘭、西班牙等國家的高校相繼為研究生開設了形式化方法方面的課程，并推廣至本科生教育。在20世紀90年代中期，美國開展了形式化方法教育研究，并在美國頂尖的35所大學的計算機學科實施了研究生和本科生的教育實踐。2004年5月，IEEE-CS和ACM聯合任務組提交了CCSE最終報告，在該報告給出的SEEK中，“軟件的形式化方法（Formal Methods in Software Engineering）”被單列為一門必修課程（序列號為SE313）。CCSE最終報告的推出，對計算機學科相關專業的形式化方法教育產生了重要的影響。
計算機及其應用系統是計算機學科相關專業分析、設計及研究的對象，形式化方法是這類對象分析、設計及研究的核心科學方法之一?？茖W思維與科學方法培養是創新型人才培養的基礎和前提。如何有效地實施形式化方法教育，是計算機學科相關專業人才培養和教學改革中值得探索和實踐的重要課題，我在《中國大學教學》和《計算機教育》上曾發文介紹和討論。
形式化方法能嚴格和精確地揭示各種形式化規律，規范相應的形式化規則，培養訓練學生的形式化思維（計算思維的一個重要方面），提高工程設計和實施的抽象能力。因此，加強對形式化方法的研究和應用，對提高我國軟件工程專業人才的質量具有重要意義；形式化方法教育是提高我國軟件工程專業人才質量的一個重要方面。
奚：桂電的學生在全國電子設計競賽中一直成績優異，請您談談在提高學生實際動手能力方面采取了哪些措施？
古：我校一直重視實踐教育，突出學生實際動手能力的培養，學生在全國電子設計競賽中屢獲佳績，曾獲全國最高獎——索尼杯，今年獲得一等獎數目名列全國參賽高校第一。學校在如下方面采取了一系列措施：
一是營造實踐動手能力培養的濃厚氛圍。在人才培養過程中積極推進實踐教育，通過研討會、交流會、報告會等形式，在校內形成一種濃厚的重視實踐教育的思想氛圍，使教師切實感受到提高實踐教育能力的重要性、緊迫性，使學生深切體會參與實踐的意義與價值。
二是強化科技競賽活動引導。依托學校各類學生學術團體、科協組織，推動學生課外科技創新競賽活動普及化和常態化，提高學生的參賽興趣。對于全國電子設計競賽，學校每年都精心組建隊伍參賽，近幾年每年參賽隊伍超過600支，參賽學生人數2000余人。
三是加強實踐教學內容。通過加大課時和學分比例為實踐教育搭建舞臺，學生的實踐學分占總學分的30%左右。在教學內容安排卜，學生從第一年開始，就進入基礎課程實驗室學習，殲展工程認知。到二年級，學生就可以進入專業實驗室，開展工程實驗、工程設計、工程實施。學校鼓勵學生申報學校的創新性試驗計劃，并從中遴選一批較好的項目，進一步申清成為省級、國家級項目。
四是搭建創新實踐服務平臺。為學生不斷創造實踐教學環境，改善實踐教學條件，已形成了“三層次的硬件平臺”，即大學生工程訓練巾心（校級統籌的實踐教學部）、院級實踐平臺、創新學院（校級實踐平臺）。學校目前已擁有4個國家級實驗教學示范中心。
五是實驗室完全開放。向學牛24小時開放實驗室，并以立項的形式對實驗室給予經費支持，創造條件讓本科生早日進入科學研究實驗鼓勵教師將自己的科研成果轉化為綜合性和技術性的實驗，引導學生參與，吸引學生走入實驗室，參與科學研究與實踐。
六是打造結構合理、業務精湛的指導教師隊伍。指導教師隊伍包括有豐富競賽指導經驗的教學名師、獲電子設計競賽獎并留校任教的老師，還有一些有良好合作關系的企業導師。學校經常邀請校內外專家對學生進行培訓，提高學生實戰能力。
奚：深化高校創新創業教育改革，是推進高等教育綜合改革、促進高校畢業生更高質量創業就業的重要舉措。桂林電子科技大學特別強調學生的創新創業教育，作為校長，請您介紹一下這方面所做的工作和取得的成果。
古：在創新人才培養方面，學校堅持“創新之根在實踐，創業之魂在創新”的理念，采取了如下一些措施：
一是構建創新創業大平臺。早在2000年，學校就投資建設了大學生創新實踐基地（簡稱“基地”），每年特批專項經費加強建設。目前基地占地1500平方米。學校于2015年建設了學生活動中心，并規劃將其中約2800平方米用于擴充大學生創新創業活動場所?；叵略O院級創新實踐基地，依托二級學院專業特點分類建設了一批大學生創新實踐訓練中心，實現“一院一品”?；赜?003年獲得共青團中央、全國學聯授予的全國“青年科技創新教育基地”，于2013年被團中央、國際勞工組織授予“大學生KAB創業教育基地”。同時，學校聯合桂林市高新區政府、東莞百分百實業集團等，在2007年建成了桂林大學生創業園，在2010年建成了廣西第一個大學生創業服務基地。至今成功孵化大學生創業企業37家、科技型創業企業28家、服務型創業企業9家。
二是成立創新學院。2014年，學校以打造“創新人才的樂園，卓越工程師的搖籃”為目標，一期投資近2000萬建立創新學院，構建課內課外、校內校外相結合，創新創業相貫通的大實踐平臺，建設了通信（卓越）綜合實踐室、測控（卓越）綜合實踐室、機械（卓越）綜合實踐室、軟件（卓越）綜合實踐室、機電創新設計室、電子創新設計室、智能控制與應用創新室、創新實驗室、數控加工室、PCB制作室等，24小時面向學生開放，成為“永不息燈的實驗室”。
三是實施科教協同育人計劃項目。鼓勵承擔有科研課題的在崗教師及時把科研成果轉化為教學內容，將重點實驗室、研究基地等向學生開放，支持本科生參與科研活動。由教師根據專業人才培養方案要求和課題研發需要提出項目，組織學生積極參與。項目工作可實現各相應專業人才培養方案中的課程設計、生產實習、畢業設計等環節的學分替換（最高可達35學分）。
四是創建互聯網+教學平臺。2014年創建廣西高校課程聯盟——廣西漓江學堂，在如下方面進行了創新：集成創新（在線課程+虛擬仿真+綜合實驗+學科競賽）、方法創新（全開放的無次數限制的考試模式）、技術創新（構建跨校區的大教務管理系統，真正實現學分的互認、互通）、管理創新（允許學生免費學習+協作管理+商業管理）；具有如下特點：①以培養學生的創新能力、實踐動手能力為目標，將在線課程、虛擬仿真、綜合實驗、課程競賽有機融為一體；②改變了傳統的考試方式，實施無次數限制的學習成績評定模式，最終成績由學生自主決定；③創建“線上線下互動、虛擬現實結合、學校企業協同”的全新課程教學模式。
五是推進校企協同培養創新人才。學校與相關企業簽訂協同培養創新人才協議。企業根據需要提出開發產品的任務，學生根據自己的能力自主選擇，進駐企業半年至一年。
（編輯：彭遠紅）
