· Research Field
· Paper Publications
· Patents
· Published Books
· Research Projects
· Teaching Resources
· Teaching Information
· Teaching Achievement
学术骨干,国家重点基础研究发展规划(973)项目:数学机械化方法及其在信息技术中的应用子项目,结题
学术骨干,国家自然科学基金面上项目:分布式多任务调度问题的建模与算法研究,结题