夏壁灿 (Bican Xia)

English Version

感兴趣的研究领域:程序与混成系统验证,自动定理证明,计算机代数

科研项目

在研项目:

面向程序验证的自动定理证明理论、方法与工具研究(项目批准号 61732001),国家自然科学基金重点项目

大规模概率并发实时系统模型检验(项目批准号 61532019),国家自然科学基金重点项目

已结题项目:

复杂曲面流线场的保向共轭理论与线性化方法 (项目批准号 11290141), 国家自然科学基金重大项目 "基于流线场共轭映射的复杂曲面高精度数控加工新方法"

半代数系统的高效求解算法及其在不等式机器证明中的应用,国家自然科学基金面上项目

混成系统设计与验证中的符号计算方法和工具,中科院软件所开放课题

代数系统的准确可信计算,国家自然科学基金 国际合作与交流项目

基于计算机代数的我国高速列车运行控制系统规范CTCS-3/4的分析与验证, 国家自然科学基金重大研究计划“可信软件基础研究”培育项目

基于计算机代数的嵌入式软件分析与验证方法及工具(重点项目),国家自然科学基金 重大研究计划

新世纪优秀人才支持计划 (NCET),教育部

Chinese-SALSA,法国INRIA研究所国际合作项目

实代数符号计算在形式化方法中的应用,国家自然科学基金面上项目

海量信息系统协同性随机模型与可生存性复杂性分析,国家973项目:海量信息的协同性和可生存性的理论与实践研究

实几何与实代数的高效能算法,国家973项目:数学机械化方法及其在信息领域中的应用

自动推理平台,国家973项目:数学机械化与自动推理平台


学术活动

2009年7月第十四届全国数学研究生暑期学校

2009年7月:第三届符号计算暑期讲习班(SSSC2009),学术协调委员会主任

2008年9月:ADG 2008,程序委员会委员

2008年4月:第二次Chinese-SALSA研讨会,组织委员会主任

2008年4月SRATC 2008,程序委员会主任

2007年6月第一次Chinese-SALSA研讨会,组织委员会主任

2006年10月至今:国际期刊 Mathematics in Computer Science,编委

2006年7月:第二届符号计算暑期讲习班(SSSC2006),学术协调委员会委员、组织委员会主任

2006年7月:MACIS2006,程序委员会委员

2004年7月:首届符号计算暑期讲习班(SSSC2004),组织委员会委员

2004年7月:CRARG,组织委员会主任

© 2018-08-27

XML 地图 | Sitemap 地图