您当前的位置:>师资队伍>师资力量>教师详情
师资一览
登陆
  • 姓名:袁凌
  • 职称:副教授
  • 办公电话:15871383052
  • E-mail:cherryyuanling@hust.edu.cn
  • 教师主页:

教育背景

本科和研究生均毕业于武汉大学计算机学院,博士毕业于新加坡国立大学计算机学院软件工程实验室

研究方向

软件架构、软件可靠性、形式化语言、大规模数据

工作经历

2008年8月开始在华中科技大学计算机学院工作

研究论文

发表软件可靠性、软件架构、大规模数据处理相关论文数十篇。

科研项目与获奖

国家自然科学基金(NO. 61100059):大规模数据处理中的高可靠性GPU 集群关键技术研

湖北省自然科学基金项目(NO.2010CDB02301):基于GPUCPU混合架构的数据流分析算法研究

教育部留学回国人员科研启动基金项目(NO.2010-174):基于PVS的总体式容错软件架构及证明研究

教育部高等学校博士学科点新教师基金项目(NO.20090142120026 ):总体式软件构架分布与容错特性分析及证明研究