李未，1943年
6月出生。1966年毕
业于北京大学，
1983年获英国爱丁
堡大学计算机科学
博士学位。现为北
京航空航天大学计
算机系教授、软件
开发环境国家重点
实验室主任、中国
科学院院士、国务
院学位委员会委
员。李未在实用并
发语言语义、并发
语言的翻译理论等
方面取得了开创性
研究成果。曾获国
家自然科学二等
奖、何梁何利科技
进步奖等多项奖励。

目 录
自述
科研论著
第一部分 程序理论
An Operational Semantics of Multitasking and Exception
Handling in Ada
A Syntax-Directed Approach for implementing the Rendez-
vous Mechanism in Ada
A Structural Operational Semantics for an Edison-like Langu-
age (!)
A Structural Operational Semantics for an Edison-like Langu-
age (2)
An Operational Translation Theory
第二部分 开放逻辑及其应用（英文）
An Open Logic System
A Logical Framework for Evolution of Specifications
The Inductive Process: A Logical Framework for In-
ductive Inference
第三部分 中文学术论文
关于离散型试验的最优设计
一个开放的逻辑系统
归纳推理和归纳进程
形式化方法的局限性
第四部分 其他
对智能机基础研究的几点看法
从80年代各国计算机计划看“八六三”智能机主题“九五’
调整
关于博士生的自我培养
论著目录