奚宏伟教授来我校讲学

    2012年1月11日上午，ATS语言发明者、美国波士顿大学奚宏伟副教授应邀访问了我校，并在我校明故宫校区报告厅作题为“ATS for systems programming with theorem-proving”的学术报告。报告会由陈哲老师主持，计算机科学与技术学院师生参加了报告会。

    奚宏伟副教授的报告以ATS程序语言为主题，从ATS语言的产生、发展、语法、语义、内在理论以及未来的应用前景等多个方面，对ATS程序语言进行了生动详细的介绍，并当场编写程序为大家做示范。

    奚宏伟副教授的讲座，语言生动、条例清晰，对问题分析透彻、解释到位，让在座的师生了解了ATS语言，并对其在嵌入式软件开发中的意义有了深刻的理解。报告结束后，他和现场师生们进行了深入的讨论，整个会场学术气氛融洽，讨论热烈。