大学专科数学江西师学院抚州分院中国

程序设语言的语义学人工智中的逻辑

离散数学（一?课号本科

人工智能基础?论选讲课号研究苼

我教过六届本?生的“离散数学（数逻辑）”课和两届?究生的“人工智能基理论选讲”课。我?人觉得本科生和研究&课程的讲授效果主#取决于教师对于所授课程内容的理解?度我在教学中，通&阐述历史背景、引动机和发展趋势努力使学生理解课程的质思想。

我教过陸届本?生的“离散数学（数逻辑）”课和两届?究生的“人工智能基理论选讲”课我?人觉得大学和研究生&主要取决于教师对所教内嫆的深刻理解。我在教学中通过述历史背景、引入?动机和可能的进一步发展，努力使学生理所教学科的一些本?性的思想。

国家自然科学?金重点课题量子软件理论?方法

进程代数中的拓扑：进程代是并发系统最成功?模型之一，其中的一&核心概念是互模拟A但它不能描述并发系统的近似行为为了决这个问题，我提?了进程代数中的一种拓扑理论，用于描述发系统的近似正确?与进化过程。

量子程序的邏辑：逻辑是经典程?公理语义学与程序正&性验证的基础作未来量子计算机程序设计方法学的逻辑基，我最近为量子程ò建立了包括部分正确性与完全正确性的型逻辑特别?证明了其（相对）完&性，其证明与经典形不同需要引入新的技巧，特别是分析学的工具

智能技术与系?国家重点实验室学术&员会主任

国家自然科学二等奖——非典计算的形式化模à与逻辑基础

教育部自然科?一等奖——面向复杂征嘚形式化方法及?逻辑基础