专家智库

智能科学

姓名 吕江花 性别
出生年月 职务 北京航空航天大学计算机学院讲师。兼人工智能协会理事、中国人工智能基础专业委员会秘书长。
职称 博士,博士后,讲师 毕业院校 吉林大学
所在单位 北京航空航天大学 研究领域 主要从事软件及其理论方面的研究,包括程序理论、形式语言、语义形式化方法等方面。近期主要从事移动计算、网络计算、服务计算以及安全苛刻系统测试过程的形式化方法研究工作。
研究方向

承担课题

曾承担中国博士后科学基金项目和国家重点实验室自探索项目,参与多项973、863以及国家自然科学基金项目...[全部]

论文专著

在国际重要学术会议和国内《软件学报》、《计算机研究与发展》等重要要刊物发布多篇文章,并被SCI检索...[全部]

获奖情况

[全部]

研发成果

[全部]

专利发明

[全部]

引用评价

[全部]

成果鉴定

[全部]

应用推广

[全部]

加为微信好友