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