研究方向:
(01)计算机图形学与虚拟现实(02)算法与计算复杂性(03)量子软件理论(04)信息编码和社会网络动态,逻辑学与复杂性(05)基于学习算法的模型验证(06)安全攸关系统的形式设计理论(07)软件设计与分析方法,新型计算模型与应用(08)嵌入式系统建模与验证,交互式定理证明(09)混成系统及AI系统的形式化验证(10)程序分析与验证(11)智能优化与自动推理(12)并行算法与并行软件(13)自然语言理解(14)新型操作系统及系统安全(15)软硬件深度融合(16)网络分布计算理论与技术(17)人机交互,实时智能(18)智能信息处理(19)网络技术及应用