计算数学团队
基础数学团队
应用数学团队
金融大数据团队
名誉 客座 兼职教授
首页 > 师资团队 > 学术团队 > 计算数学团队
以国家有突出贡献的中青年专家,四川省学术与技术带头人徐扬教授为学术带头人.主要从事符号演算与机器证明,数值计算等领域研究.已经形成了原创的具有国际先进水平的逻辑演绎自动推理体系,并基于该体系研发了系统可信性自动验证实用工具Scavel C和Scavel PLC,已应用于信息安全,航空航天,国防军工,核工业,卫星导航,轨道交通,信息电子等领域,为保障其系统的可信运行发挥了不可替代的关键作用,同时积累了丰富的系统可信性自动验证技术研发经验,完全具备深入工程化应用的基础和能力.设计了大规模非线