首页 >
李 未
✍ dations ◷ 2025-11-16 00:01:36 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 普世主义普世主义是哲学上的一个分支，它强调普遍的事实能够被发现且被理解。在伦理上，普世性就是指能够应用在所有人身上的价值观或事物。这种思想存在于许多宗教或哲学体系之中。普世
- 用户界面设计用户界面设计（英语：User interface design，UI），又称用户界面工程，指的是在用户体验和交互的指导下对计算机、电器、机器、移动通讯设备、软件或应用以及网站进行的设计。 用户界面
- 日本内阁总理大臣政治主题内阁总理大臣（日语：内閣総理大臣〔內閣總理大臣〕／ないかくそうりだいじん Naikaku sōri daijin */?）是日本最高行政首长，主要职责为领导内阁的运作，主持内阁会议（日语：
- 全身炎症反应综合征全身炎症反应综合症（Systemic inflammatory response syndrome ,SIRS）是一个影响到整个身体的炎症反应。它是身体的应激性反应，是机体应对一种感染性或非感染性因素的方式。虽
- 脊髓性肌萎缩症脊髓性肌肉萎缩症（英语：Spinal muscular atrophy，简写为SMA），是一种遗传性神经疾病。它会造成运动神经元退化、肌肉萎缩，肌肉无力，最终造成死亡。控制肌肉的运动神经里的某种蛋白质
- 倭黑猩猩倭黑猩猩（学名：Pan paniscus），又名倭猩猩、僰猿、矮黑猩猩或巴诺布猿，是黑猩猩属下的两种动物之一，起先倭黑猩猩被认为和黑猩猩是同种生物，直到1920年代，才有人察觉两者的不同，而将之
- 颚音颚音化（英语：Palatalization）是一个语言学的名词，指辅音在发音时变得接近硬颚音。通常发生于硬颚无擦通音/j/或者前元音如/i/、/e/的前面，这个现象会使辅音在发音时，除本身的发音
- STAT4· signal transducer activity · calcium ion binding· nucleolus· protein phosphorylation · JAK-STAT cascade · cell proliferation · cytokine-mediated si
- 荆州荆州，中国东汉末至唐朝时的州，前身为监察区荆州刺史部。早期幅员广袤，包括今天湖北、湖南二省的大部以及邻省的小部，后分置湘州等州，隋朝以后辖境仅限于今湖北省荆州市一带。西汉
- 科恩伯格罗杰·大卫·科恩伯格（英语：Roger David Kornberg，1947年4月24日－），美国生物化学家，斯坦福大学结构生物学教授。因其对“真核转录的分子基础所作的研究”而荣获2006年诺贝尔化学奖
