热点话题人物,欢迎提交收录!
最优雅的名人百科,欢迎向我们提交收录。
吕江花
2023-05-06 10:06
  • 吕江花
  • 吕江花 - 讲师-北京航空航天大学-计算机学院-个人资料

近期热点

资料介绍

个人简历


2003年博士毕业于吉林大学计算机软件与理论专业,2007年北航博士后出站留校,获得北航优秀博士后。2012年3月至7月,在德国波兹坦大学做访问学者。现工作于北航计算机学院软件开发环境国家重点实验室。

研究领域


主要研究方向为软件形式化方法、面向航空航天的安全攸关系统可信性验证等""

近期论文



担任期刊审稿人,担任中国人工智能学会理事,中国人工智能学会基础理论专业委员会秘书长,组织举办多次学术会议。

相关热点

扫码添加好友