1995年就职软件所以来，在蔡希尧教授和陈平教授等师长的指导下，在国防预先研究项目等纵横向项目的支持下，秉持“求真务实、学以致用”的治学理念，一直从事针对卫星导航、航天等关键系统的高可信赖软件技术研究.包括： 研究方向1 程序设计语言理论技术 针对雷达信号处理机、航空电子系统、航天控制系统等嵌入式系统，研究C/汇编/二进制代码的静态安全分析技术、中断驱动的并发C/汇编/二进制代码模型检测技术、C到FPGA的编译优化与安全增强技术等等； 研究方向2 嵌入式系统的特定域开发技术 针对雷达信号处理机、航天控制系统等系统专用多处理器架构，研究特定域的图形化建模、时序分析，C/汇编代码生成与优化以及测试代码的生成技术以及相应的Eclipse 插件技术等等。 研究方向3 集成MapReduce并行与GPU众核并行的分布并行技术 针对二代卫星导航定位系统以及虚拟样机系统中的海量数据处理需求，研究集成集成MapReduce并行、CPU多核/GPU众核并行以及反射内存实时网络的分布并行技术。