|
个人信息Personal Information
讲师（高校） 硕士生导师
性别：男
在职信息：在岗
所在单位：计算机科学与技术学院
入职时间：2022-07-01
办公地点：南校区网安大楼A1035
电子邮箱：
扫描关注
研究方向
当前位置: 中文主页 >> 研究方向系统软件、存储系统、形式化验证、智能算法的行业落地
点击次数：
整体研究方向倾于底层操作系统的研究，主要有以下几个方面：
一、系统软件方面：
a)嵌入式操作系统；
b)基于PCIE的结点通信；
c)多核任务调度核可调度性分析。
二、存储系统方面：
a)内存管理算法的优化与设计；
b)针对闪存的文件系统研究。
三、形式化验证方面：
a)基于Coq的系统软件的形式化验证；
b)安全关键系统的形式化验证分析。
四、智能算法的行业落地与部署
a)智能算法的嵌入式环境移植；
b)模型剪纸与轻量化；