注册| 登录

应明生

单位:计算机科学与技术系

研究方向:量子计算, 程序设计语言的语义学, 人工智能中的逻辑

个人主页: http://www.tsinghua.edu.cn/publish/cs/4616/2013/20130424104126408756304/20130424104126408756304_.html


教育背景

大学专科 (数学), 江西师范学院抚州分院, 中国, 1981.


社会兼职

Artificial Intelligence Journal: 编委 (2008-).


研究领域

量子计算

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


研究概况

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


2. 量子程序的Floyd-Hoare逻辑:Floyd-Hoare逻辑是经典程序公理语义学与程序正确性验证的基础。作为未来量子计算机程序设计方法学的逻辑基础,我最近为量子程序建立了包括部分正确性与完全正确性的Floyd-Hoare型逻辑,特别是证明了其(相对)完备性,其证明与经典情形不同,需要引入新的技巧,特别是分析数学的工具。


奖励与荣誉

国家自然科学二等奖——非经典计算的形式化模型与逻辑基础 (2008);

教育部自然科学一等奖——面向复杂特征的形式化方法及其逻辑基础 (2004);

中国青年科技奖 (1994).

收藏 评论:0
没有ID?去注册 忘记密码? 已有账号,马上登陆

添加表情