北京北京市 刘后广
从事领域:资料待完善
擅长能力:高端微创医疗技术与器械研发(“新工科”领域)、基于机器视觉的机器人控制、基于机器听觉的智能声学事件识别、复杂机电装备模式识别与智能诊断(国家电网合作)、嵌入式控制系统
北京北京市 易秋萍
从事领域:软件
擅长能力:[1]主要研究方向为软件工程及形式化分析方法。主要关注设计有效方法改进系统可靠性及安全性,包括设计及实现支持程序的调试分析及验证的有效工具。 具体研究内容包括:系统软件安全、程序分析测试、软件错误定位与修复、并行程序分析验证。当前感兴趣的研究方向包括:基于AI技术与程序分析技术的有效结合,构建大规模程序分析验证平台;C++11并行程序分析验证方法及工具平台研发。