基本信息
浏览量:225
职业迁徙
个人简介
研究兴趣
Web数据和编程技术, 计算模型, 形式语言与自动机理论, 程序分析, 编程语言
作为负责人或主要骨干承担过十多项国家自然科学基金、863计划、院重点、院方向性 项目和国家科技攻关等科研项目。先后在软件复用技术、汉字字形技术及形式规约与计 算模型等方向上进行过研究,并获得了多个奖项。目前研究方向包括计算模型、软件设 计方法和形式规约、编程语言。是获得中科院科技进步一等奖、国家科技进步二等奖的 主要成员,还曾获得中科院盈科优秀青年学者奖。
Web数据和编程技术, 计算模型, 形式语言与自动机理论, 程序分析, 编程语言
作为负责人或主要骨干承担过十多项国家自然科学基金、863计划、院重点、院方向性 项目和国家科技攻关等科研项目。先后在软件复用技术、汉字字形技术及形式规约与计 算模型等方向上进行过研究,并获得了多个奖项。目前研究方向包括计算模型、软件设 计方法和形式规约、编程语言。是获得中科院科技进步一等奖、国家科技进步二等奖的 主要成员,还曾获得中科院盈科优秀青年学者奖。
研究兴趣
论文共 88 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Frontiers in Materials (2024)
2022 IEEE 28th International Conference on Parallel and Distributed Systems (ICPADS)pp.147-154, (2023)
International Colloquium on Theoretical Aspects of Computingpp.216-235, (2023)
引用0浏览0EI引用
0
0
arxiv(2023)
引用0浏览0EI引用
0
0
Materials Today Communications (2023): 106472-106472
引用1浏览0引用
1
0
International Symposium on Software Engineering: Theories, Tools, and Applicationspp.206-225, (2023)
Elsevier eBookspp.71-83, (2023)
引用0浏览0引用
0
0
2022 IEEE 28th International Conference on Parallel and Distributed Systems (ICPADS)pp.242-249, (2023)
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn