吕江花
近期热点
资料介绍
个人简历
2003年博士毕业于吉林大学计算机软件与理论专业,2007年北航博士后出站留校,获得北航优秀博士后。2012年3月至7月,在德国波兹坦大学做访问学者。现工作于北航计算机学院软件开发环境国家重点实验室。研究领域
主要研究方向为软件形式化方法、面向航空航天的安全攸关系统可信性验证等""近期论文
担任期刊审稿人,担任中国人工智能学会理事,中国人工智能学会基础理论专业委员会秘书长,组织举办多次学术会议。 相关热点