姓 名

专 业

职称/职务

实验室任职

支丽红

混合计算

研究员

主任

闫振亚

数学物理

研究员

副主任

冯如勇

符号计算

研究员

副主任

张志芳

信息安全

研究员

副主任

相关科研组织——数学机械化研究中心

冯如勇

符号计算

研究员

主任

贾晓红

计算几何

副研究员

副主任

陈绍示

符号计算与组合数学

副研究员

副主任

相关科研组织——信息安全研究中心

邓映蒲

信息安全

研究员

主任

张志芳

信息安全

研究员

副主任