Title of the Report: On Computation, Mathematical Logic, and Program Design

Presenter: Liu Zhiming

Affiliation:Southwest University

Date of the Report:July 13, 2024 (Saturday), 10:30-11:15

Location of the Report:Lecture Hall on the Second Floor, Block A, Feicui Science and Education Building

Report Abstract:This presentation discusses the basic concepts and ideas of mathematical logic, computational theory, and programming languages, revealing the natural foundational role of mathematical logic in computer science and systems. It illustrates the unity of (classical) mathematical logic, computational models, and programming languages. The talk also briefly compares artificial intelligence based on deep learning with computation and software based on deductive logic, highlighting the differences and capabilities of deep learning.

Biography of the Presenter: Liu Zhiming is a nationally distinguished expert, professor at Southwest University, doctoral supervisor, head of the Software Theory and Systems team, and director of the Research and Innovation Center for Software (RISE). He obtained his Master's degree in 1988 from the Institute of Software Chinese Academy of Sciences and his PhD in Computer Science in 1991 from the University of Warwick, UK. From 1988 to 2015, he worked at the University of Warwick, the University of Leicester, and the United Nations University International Institute for Software Technology (UNU-IIST, Macao). In 2016, he returned to China to work full-time at Southwest University and served as a professor at Northwestern Polytechnical University from 2021 to 2022. His main research interests include software foundational theories, trustworthy software methods, comprehensive theories of computation and artificial intelligence based on human-computer integration systems, and software architecture. Major representative academic achievements include fault-tolerant and real-time program design methods based on model transformation; probabilistic temporal calculus for system reliability analysis; object-oriented program semantics and refinement theory; formal model-driven software development method rCOS; and modeling theories and methods for software architecture of human-machine-object integration systems. Liu Zhiming is a Fellow of the British Computer Society (BCS), an outstanding member of the China Computer Federation (CCF), and a senior member of the ACM.