竺树声 解永良 贺劲 王仲生 李慧 易华 李晓林 杨宁 吴晓波 邢晓岚 梁晓峰 魏道政 姚志江

IO自动机 织女星网格 形式化方法 电流温度系数 全生命周期 空空导弹 固态传感器 高生产率服务 机群文件系统 推力矢量控制 形式规范 快速转弯 硬件设计 异步时序电路 软件工程 特征函数 网格使用模式 网格评价 恒流源集成电路 缓存一致性协议 控制规律 有序二元判决图 形式验证 形式证明 离轴发射

中国科学院计算技术研究所智能中心 中国科学院计算技术研究所CAD开放研究实... 中国科学院计算技术研究所国家智能计算机研... 杭州大学电子工程系