信息工程学院2018“智芯”讲坛（一）

题目：问题求解与算法之道

主讲人：沈云付 博士

时间：4月14日上午9：30

地点：31-904

主讲人简介：

    沈云付，上海大学计算机工程与科学学院工作，副教授，硕士导师。研究方向涉及软件形式化方法、模型检查研究，三值光学计算机系统及可靠性研究。团队在三值光学计算机方面的工作被2017年10月24日的解放日报报道。自2003年担任上海大学ACM集训队教练一职至今。2015-2017连续3年晋级ACM-ICPC世界总决赛，分别获得全球总决赛的31、51、56名（总128队）。2007年获上海市教委育才奖，2010年获宝钢优秀教师奖；2013年分别获得上海大学教学成果一等奖，上海市教学成果二等奖（均排名第一）；2017年分别获得上海大学“教书育人贡献奖”、上海大学教学成果特等奖，上海市教学成果一等奖（均排名第一）。