应软件学院邀请，美国微软公司总部F#语言专家刘涛于2012年3月5日来我校交流访问，并做题为《F#函数式编程语言及其应用》的学术报告。

      报告会上，刘涛先生详细介绍了微软新一代的函数式编程语言F#的起源、发展与现状，以及F# 3.0的一些新特点，如Type Provider、F#设计模式、对GPGPU的支持等；并通过与流行的C++和C#语言进行对比，展示函数式编程语言F#在系统设计和具体实现上所体现出的优点。随后刘涛讲解了F#在欧美企业中的丰富应用案例，如金融系统、生物制药及其它高端数据处理领域中的应用。最后，刘涛回答了学生们提出的若干问题，现场讨论气氛非常热烈。

      刘涛毕业于西安交通大学并获计算机工程专业硕士学位，后在加拿大贵湖大学攻读计算机科学硕士学位并以优异成绩毕业，现任美国微软F#核心组高级工程师，主要负责F#未来方向的设计及SDK库的开发工作。拥有美国及欧洲实时规则集处理算法专利，两次获得“杰出工程奖”，应微软特约出版《F# for C# Developer》。他曾接受过微软针对F#技术的专访，其采访视频成为当年最受欢迎的F#技术访谈视频。刘涛在微软工作以前，作为核心成员在哈里斯公司主持Multiviewer的软件设计及实现，并因此获得公司年度最高奖“杰出创新奖”。此产品后被用于北京奥运会的音、视频信号传输。刘涛先生主要研究方向为函数编程，GPU计算及云计算等。

                                                                                                                              （软件学院、国际合作与交流处）