081203-计算机应用技术
081202-计算机软件与理论
081201-计算机系统结构

计算机科学与技术

2004-09--2007-03   上海航天研究院   硕士研究生

   

2014-10~2018-10,中科院微小卫星创新研究院, 副主任 支撑支部书记
2007-04~2014-09,上海航天研究院, 副主任设计师

2020-08-17-2025-08-16,全国信息技术标准化技术委员会软件与系统工程分技术委员会软件质量工程标准工作组（SAC/TC28/SC7/WG1）, 委员

   

（1） 可重载控制软件, 三等奖, 部委级, 2014

（ 1 ） 一种仿真系统状态快速切换方法, 发明, 2017, 第 3 作者, 专利号: 201510193891.1
（ 2 ） 可重构FPGA软件的专用验证测试系统及方法, 发明, 2021, 第 2 作者, 专利号: CN108388516B
（ 3 ） 一种硬件间通信仿真的配置连接系统和方法, 发明, 2021, 第 3 作者, 专利号: CN110674067B

   

（1） 卫星装备试验鉴定数据质量评价技术及实现, 计算机测量与控制, 2021, 第 2 作者
（2） FPGA软件重构验证方法研究, Research on FPGA software reconstruction verification method, 电子设计工程, 2020, 第 2 作者
（3） 刍议面向航天器星载软件的形式化验证方法, 电脑知识与技术, 2020, 第 4 作者

   

（ 1 ） 设备仿真环境开发及测试, 主持, 国家级, 2018-06--2019-06
（ 2 ） FPGA仿真验证环境开发及测试, 主持, 国家级, 2018-01--2019-01
（ 3 ） 全数字化通用信息仿真技术, 主持, 国家级, 2020-01--2021-12

现指导学生

王番  硕士研究生  081203-计算机应用技术  

王浩宇  硕士研究生  081203-计算机应用技术  

丁宇池  硕士研究生  085400-电子信息