您位于: 首页 / News / 2015 / 美国麻省理工大学博士后研究员邱晓康博士4月10日访问软件所

美国麻省理工大学博士后研究员邱晓康博士4月10日访问软件所

美国麻省理工大学博士后研究员邱晓康博士4月10日访问了软件所,并做了题为“Natural Proofs for Computer-Aided Programming”的报告。软件工程研究所谢冰教授、黄罡教授、张路教授、熊英飞研究员以及多名信息学院和数学学院的同学参加了报告并进行了热烈的讨论。会后,邱晓康博士与软件工程研究所多名教授就软件工程研究所招聘政策、工作环境、教师待遇等问题进行了广泛的交流。
导航