-
陈力
陈力，2012级计算机软件与理论专业硕博连读研究生（2014年转博），导师为王永吉研究员。研究方向是广义约束优化算法，从传统运筹学与计算机科学的优化模理论两个角度，研究一类同时含有逻辑“与”“或”约束......
-
程涛远
代表性论文
1高迎程涛远王珊
基于HILBERT曲线的许可证存储策略及相关相关查找算法
软件学报2006年第17卷第2期Vol.17No.2305-314页[EI]......
-
李明树
[22] 李明树,杨秋松,翟健. 软件过程建模方法研究.软件学报. 20(3):1-22, 2009.......