Hits:

整体研究方向倾于底层操作系统的研究，主要有以下几个方面：

一、系统软件方面：

   a)嵌入式操作系统；

   b)基于PCIE的结点通信；

   c)多核任务调度核可调度性分析。

二、存储系统方面：

   a)内存管理算法的优化与设计；

   b)针对闪存的文件系统研究。

三、形式化验证方面：

   a)基于Coq的系统软件的形式化验证；

   b)安全关键系统的形式化验证分析。

四、智能算法的行业落地与部署

   a)智能算法的嵌入式环境移植；

   b)模型剪纸与轻量化；