根据上海市哲学社会科学规划办公室通知（沪社办[2012]第012号、第020号），我院杨春雷老师承担的市社科规划青年课题《面向计算的约束体系的建立与应用》（批准号：2008EYY002），最终成果经同行专家鉴定及上海市哲学社会科学规划办公室审批，于2012年2月2日同意课题结项，等级为良好。