報告題目：談計算、數理邏輯和程序設計
報告人：劉志明
單位：西南大學
報告時間：2024年7月13日(周六)上午10:30-11:15
報告地點：翡翠科教樓A座二樓報告廳
報告摘要：討論數理邏輯，計算理論和程序語言的基本概念和思想，揭示數理邏輯對計算機科學和系統(tǒng)的天然基礎性，說明（經典）數理邏輯，計算模型和程序語言的統(tǒng)一性，淺談深度學習的人工智能與基于演繹邏輯的計算與軟件的區(qū)別和深度學習的能力范圍。
報告人簡介：劉志明，西南大學教授、博士生導師、軟件理論與系統(tǒng)團隊負責人、軟件研究與創(chuàng)新中心（RISE）主任。1988年在中科院軟件所獲得碩士學位，1988年從中科院軟件所獲碩士學位，1991年從英國華威（Warwick）大學獲計算機科學博士學位。1988年-2015年曾在英國華威（Warwick）大學、萊斯特（Leicester）大學，和聯(lián)合國大學國際軟件技術研究所（UNU-IIST, Macao）工作。2016年全職回國，在西南大學任教，2021年至2022年在西北工業(yè)大學但任教授。主要研究方向為軟件基礎理論、可信軟件方法、基于人機融合系統(tǒng)的計算與人工智能的綜合理論以及軟件架構。主要代表性學術成果有基于模型轉換的容錯和實時程序設計方法；用于系統(tǒng)可靠性分析的概率時段演算；面向對象程序語義和精化理論；形式化模型驅動軟件開發(fā)方法rCOS；人機物融合系統(tǒng)軟件體系架構建模理論與方法。劉志明是英國計算機學會（BCS）會士、中國計算機學會（CCF）杰出會員，ACM高級會員。
TOP
