数学机械化重点实验室博士生郭庆东获2013年度国际符号和代数计算会议(ISSAC)最佳学生论文奖。ISSAC是符号和代数计算方面最权威的国际会议。文章给出了线性矩阵不等式定义的凸集上有理点的存在性判定和计算，论文题目：Computing rational solutions of linear matrix inequalities. (with Mohab Safey El Din, Lihong Zhi)。