基本信息
浏览量:21
职业迁徙
个人简介
李未院士在实用并发语言操作语义、形式理论序列和修正演算等方面取得了开创性研究成果。他对科学理论的进化、软件及其功能描述中的缺陷和程序错误的定位和修复进行了系统深入的研究,提出了关于版本序列的理论,建立了对错误进行修正的形式演算系统(R-演算);设计了描述软件开发方法的形式语言,提出了可信软件开发方法的基本理论;李未院士1995年获国家自然科学奖二等奖一项,1997年获何梁何利科技进步奖一项,2004年获国家级科技进步二等奖一项,2005年获国家教学成果一等奖一项。 李未院士任《中国科学:信息科学》中英文版和《Frontiers of Computer Science in China》的主编。在国际、国内学术刊物和国际学术会议发表学术论文百余篇,中文专著2部,英文专著1部。86年起担任博士生导师,培养博士后8名、博士研究生52名和硕士生百余人。
目前主要研究方向包括:
1、计算机科学理论与软件基础
2、非结构化数据理论与实践
3、大数据的分析与处理
目前主要研究方向包括:
1、计算机科学理论与软件基础
2、非结构化数据理论与实践
3、大数据的分析与处理
研究兴趣
论文共 202 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Perspectives in Formal Induction, Revision and Evolutionpp.101-124, (2023)
引用0浏览0引用
0
0
Perspectives in Formal Induction, Revision and Evolutionpp.15-52, (2023)
引用0浏览0引用
0
0
Wei Li, Yuefei Sui
Perspectives in Formal Induction, Revision and Evolutionpp.125-160, (2023)
引用0浏览0引用
0
0
Perspectives in Formal Induction, Revision and Evolution (2023)
引用0浏览0引用
0
0
R-Calculus, IV: Propositional LogicPerspectives in Formal Induction, Revision and Evolutionpp.53-99, (2023)
引用0浏览0引用
0
0
Perspectives in Formal Induction, Revision and Evolutionpp.215-252, (2023)
引用0浏览0引用
0
0
Wei Li, Yuefei Sui
Perspectives in Formal Induction, Revision and Evolutionpp.161-181, (2023)
引用0浏览0引用
0
0
Perspectives in Formal Induction, Revision and Evolutionpp.183-214, (2023)
引用0浏览0引用
0
0
R-Calculus, II: Many-Valued Logicsno. 4 (2022): 378-390
R-Calculus, II: Many-Valued LogicsPerspectives in Formal Induction, Revision and Evolutionpp.79-100, (2022)
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn