首页 >
李 未
✍ dations ◷ 2025-11-21 06:56:16 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 醛固酮醛固酮（英语：Aldosterone）是一种类固醇类激素（盐皮质激素家族），由肾上腺皮质所产生，主要作用于肾脏，进行钠离子及水分的再吸收，以维持血压的稳定。整体来说，醛固酮为一种增进肾脏对于
- 子囊菌门子囊菌门（学名：Ascomycota）是真菌界中种类最多的一个门，其中除酵母亚门为单细胞外，其余种类都是多细胞的，有分枝、有隔的菌丝组成的。它与担子菌门（Basidiomycota）一起构成了双核亚
- 磷脂双分子层磷脂双分子层（英语：lipid bilayer 或phospholipid bilayer）是由两层磷脂分子组成的薄膜。 几乎所有细胞生物的细胞膜和许多病毒的包膜都主要由磷脂双分子层构成，此外，核被膜和
- 早川一会早川一会（英语：S. I. Hayakawa，1906年7月18日－1992年2月27日），加拿大出生的日裔美国语言学家，曾任旧金山州立大学校长、加利福尼亚州联邦参议员（共和党籍）。早川一会先后毕业于曼尼托
- 财务官财务官（Quaestors）是罗马共和时期的民选官员，他们监督国家的国库与财政事务，以及军队和官吏。该项职务可以回溯至罗马的王政时代。大约前420年之后，由百人会议选出每个年度的四位
- 扁虫动物总门扁虫动物原本是扁形动物门的同义词，此处是几个门的统称，属于两侧对称动物，也被归类为扁虫动物总门（学名：Platyzoa），但此分类尚未成为共识。本总门包括以下门：扁形动物和腹毛动物没有
- 细菌学家细菌学（英语：bacteriology），一个以研究细菌为主的学科，是微生物学的分支。主要的工作是辨认细菌、培养细菌、分类细菌种属、找出细菌种属的特征。它跟微生物学，有时候会被人当成同
- 二磷酸脱氧鸟苷去氧鸟苷二磷酸（Deoxyguanosine diphosphate；dGDP）是较为常见的核酸GTP之衍生物，比GTP少了一个位在五碳糖2号碳上的-OH基，含有两个磷酸基团。
- 轶事证据轶事证据（Anecdotal evidence）或传闻证据系指来自传闻、故事的证据。有些传闻往往细节详细、诩诩如生，让人印象深刻；有些案例则以新闻、八卦的形式被人一传再传，造成三人成虎，让人
- 洪德元洪德元（1937年1月14日－），安徽绩溪人，中国植物学家。1962年毕业于复旦大学生物系。1966年中国科学院植物研究所研究生毕业。中国科学院植物研究所研究员。1991年当选为中国科学院
