基本信息
浏览量:109
职业迁徙
个人简介
主要从事软件开发方法和工具,形式化理论和方法,需求工程,软件工程,可信软件的开发方法和理论等方面的研究。多年来,除承担本科和研究生教学工作外,在科研方面曾参加国家“银河—I”巨型计算机操作系统的研制工作。先后主持和负责国家自然科学基金项目、国家高技术研究发展计划(863计划)项目、国家“六.五”攻关项目、“七.五”攻关项目、教育部重点项目、博士学科点专项科研基金项目、国家教育部骨干教师资助计划项目等多项国家和省部委项目,以及一些其它软件开发项目等。多次在日本东京大学等从事软件工程和形式化理论方面的合作研究,已在国内外学术期刊和国际学术会议上发表论文和研究报告多篇。
研究兴趣
论文共 157 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Zhaoyu Hu,Leyin Li,An Sui,Guoqing Wu,Yuanyuan Wang,Zhifeng Shi,Jinhua Yu,Liang Chen, Guiguan Yang,Yuhao Sun
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn