10月26日下午，应郑南宁校长邀请，麻省理工学院教授Barbara Liskov女士及丈夫和微软亚洲研究院副院长、高校关系总监宋罗兰女士访问我校。郑南宁校长在科学馆会见了Barbara Liskov教授一行。我校电信学院院长管晓宏、国际合作与交流处处长梁莉，人工智能与机器人研究所薛建儒教授等参加会见。

郑校长向Barbara教授介绍了我校西迁历史和书院制，并与其一同观看了我校宣传片。郑校长对Barbara教授一行表示诚挚欢迎，并赠送给了Barbara教授一份特殊的礼物——《生活周刊》。郑校长向Barbara教授介绍道：“这是在中国最畅销的杂志，这期杂志上有关于MIT和您的文章。” Barbara教授对此表示十分感谢。会谈结束后，Barbara教授一行参观了我校智能网络与网络安全教育部重点实验室和视觉认知计算与智能车实验室。

当天晚上，Barbara教授为我校师生做了题为“The Power of Abstraction”（抽象机制的力量）的学术讲座。科学馆101报告厅座无虚席。讲座中，Barbara教授讲述了程序语言抽象机制的形成过程及运作原理，并预测了未来计算机科学领域的重点研究方向。

报告会由电信学院管晓宏院长主持。宋晓平副校长出席报告会并致欢迎词。出席报告会的还有我校国际合作与交流处处长梁莉，微软亚洲研究院副院长、高校关系总监宋罗兰女士。

Barbara Liskov，2008年度美国计算机学会（ACM）图灵奖（Turing Award）获得者。美国国家工程院院士、美国计算机学会会员、以及美国艺术与科学院院士。1972年，Barbara成为麻省理工学院（MIT）的教授，并一直主管研究工作，是计算机科学与人工智能实验室编程方法论小组负责人。美国第一个获得计算机科学博士学位的女性（1968年，斯坦福大学），其创新性研究给计算机编程领域带来了巨大变革，巩固了用户和企业应用计算机的基础。