个人简介
招生专业
083500-软件工程
081202-计算机软件与理论
招生方向
软件工程,软件过程工程,知识工程
过程建模,形式化方法,系统仿真
教育背景
2003-09--2010-04 中国科学院软件研究所 工学博士
1999-09--2003-09 北京大学 经济学学士
1999-09--2003-09 北京大学 理学学士
工作简历
2013-12--今 中国科学院软件研究所 高级工程师
2012-06--2013-06 美国马萨诸塞大学阿莫斯特分校 访问学者
2010-04--2013-12 中国科学院软件研究所 助理研究员
专利成果
(1) 一种预测软件过程执行时间的方法,发明,2011,第2作者,专利号:ZL200910083708.7
(2) 一种针对返工预测软件开发成本和执行时间的方法,发明,2014,第1作者,专利号:ZL201010603424.9
科研项目
(1) 安全可靠桌面计算机操作系统,参与,国家级,2014-01--2016-12
(2) 面向时间约束的动态社交网络影响力最大化问题研究,主持,国家级,2014-01--2016-12
近期论文
查看导师新发文章
(温馨提示:请注意重名现象,建议点开原文通过作者单位确认)
(1) 一种形式化的组件化软件过程建模方法,软件学报,2011,第1作者
(2) Simulation Modeling for Quality Enhanced Software Process Based on Rework Analysis,The 2011 International Conference on Modeling, Simulation and Visualization Methods,2011,第1作者
(3) Automatic Mining of Change Set Size Information from Repository for Precise Productivity Estimation,2011 International Conference on Software and Systems Process,2011,第4作者
(4) Attacking Dimensionality Problem of Parameterized Systems via Bounded Reachability Graph,Fundamentals of Software Engineering - 4th IPM International Conference ,2011,第3作者
(5) Value-Risk Trade-off Analysis for Iteration Planning in Extreme Programming,The 2011 18th Asia Pacific Software Engineering Conference ,2011,第4作者