李 未

✍ dations ◷ 2025-04-02 12:19:59 #李 未
李未(1943年6月8日-),北京人,中国计算机专家,中国科学院院士,北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究,研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系,1983年在英国爱丁堡大学计算机科学系获博士学位,曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员,欧洲共同体发展信息战略计划(ESPRIT)及德国不莱梅大学教授级研究员,德国萨尔大学(Zuse)客座教授。1986年任教授,并被批准为博士导师,1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法,系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题,结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论,解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年,当选第十一届全国政协委员,代表科学技术界,分入第三十一组。并担任教科文卫体委员会专委。

相关

  • 先天畸形先天性障碍,又称先天性疾病、先天畸形、先天缺陷,是指发育中的胎儿因为遗传性疾病或发育环境等因素导致某个部位特征结构畸形,导致在婴儿出生时即有的病症,包括了身体(英语:Physic
  • 复层噬菌体科复层噬菌体属 Tectivirus复层噬菌体科(Tectiviridae),也译作复层病毒科,tecti来自拉丁文的tectus,有有盖的之意。主要宿主为细菌。代表种:
  • 勾引勾引(Seduce)是一个人引诱另一个人进行性行为或其他亲密接触。大多数是贬义。例如妓女勾引嫖客,已婚者勾引配偶以外的人等。如果一个女人抢夺了另一个女人的丈夫,又会被称为狐狸
  • 遗传基因基因(英语:gene)在生物学中指DNA或RNA内编码基因产物(RNA或蛋白质)的合成的核苷酸序列。基因也可视作基本遗传单位,亦即一段具有功能性的DNA或RNA序列。弄清其序列本身的过程叫基
  • 拉丁民族拉丁民族原指古代定居意大利半岛中西部拉丁姆平原的部落民族。其先民为公元前一千年左右由欧洲大陆迁来的印欧人。使用印欧语系的拉丁语。现在泛指受拉丁语和罗马文化影响较
  • 卡门线卡门线(Kármán line)是公认的外太空与地球大气层的分界线,位于海拔100 km(330,000英尺)处。它是负责国际的航空航天标准制定、记录保存的机构国际航空联合会所承认的大气层和
  • 连多硫酸连多硫酸是一种强酸,通式为H2SxO6,x可以从3一直到80,通常范围在1~6。阴离子通式为O3SSySO32-,y为0~3。连多硫酸常在加热时分解为硫酸、二氧化硫或硫
  • 复层立方上皮复层立方上皮(英语:stratified cuboidal epithelium,拉丁语:Epithelium stratificatum cuboideum)为被覆上皮的一种。顾名思义,该种组织由多层立方形的细胞构成。复层立方上皮可见
  • 彼得·谢弗彼得·谢弗爵士(Sir Peter Levin Shaffer,1926年5月15日-2016年6月6日),二战后当代英国著名的剧作家。先后在书店、出版社工作,担任过文学评论和音乐评论。其主要作品有《上帝的宠
  • 分支过程在概率论中,分支过程(英语:Branching Process)属于随机过程的一类,由一系列随机变量组成。分支过程的最初目的是建立一个数学模型,研究第n代个体产生随机个后代时的个体数模型。最