北航2014计算机科学暑期学校以软件形式化方法、大数据和机器学习两个方向为主题，邀请世界各地的科学家来北航为大家讲解计算机科学前沿相关理论与技术的最新进展。

现诚挚邀请广大兄弟院校学生参加2014北航计算机科学前沿暑期学校。本暑期学校无任何听课费用（食宿交通自理）。任何在校本科生研究生都可以申请。

活动报名链接：http://rcbd.buaa.edu.cn/zh/summerschool-2014/index.html。

（一）课程介绍
课程1：软件形式化方法FormalMethodsandSoftwareVerification
(1)主讲教师:ProfDonSannella(UniversityofEdinburg)
FoundationsofAlgebraicSpecificationandFormalSoftwareDevelopment
(2)主讲教师:ProfScottWeinstein(UniversityofPennsylvania)
AnIntroductiontoMathematicalLogicviaFiniteModelTheoryanditsApplicationstoComputerScience
(3)主讲教师:AssistantProfFlorianZuleger(ViennaUniversityofTechnology)
APrimertoAbstractInterpretation

课程2：大数据和机器学习BigDataandMachineLearning
(1)主讲教师：ProfWenfeiFan
QueryingBigData:TheoryandPractice
(2)主讲老师：ProfJunZhang(UniversityofWisconsin-Milwaukee)
StatisticalSignalProcessingandAnalysis:anIntroduction
(3)主讲老师:DrYajunFang(MITCSAIL实验室)
MachineVisionanditsApplicationsinourFutureLife

（二）教师介绍
(1)DonSannella教授
爱丁堡大学计算机科学教授，爱丁堡皇家学会院士。
1977年在耶鲁大学获得学士学位，1978年获得加州大学伯克
利分校硕士学位，1982年获得爱丁堡大学博士学位。从事
functionallanguages、algebraicspecificationlanguages、mechanisedreasoning等研究。担任TheoreticalComputerScience杂志主编。

(2)ScottWeinstein教授
宾夕法尼亚大学教授，1969年获得普林斯顿大学学士学位，1975年获得洛克菲勒大学博士学位。他的研究兴趣包括：computationallearningtheory、complexitytheory、mathematicallogic等。

(3)WenfeiFan教授
英国爱丁堡大学信息学院主任教授，北京航空航天大学
大数据科学与工程国际研究中心主任，英国爱丁堡/苏格
兰皇家科学院院士，美学国计算机协会会士（ACM
Fellow),中国“千人计划”特聘专家和长江学者。目前主要研究领域为数据库理论与系统，包括大数据、数据质量、数据集成、分布式查询处理、查询语言、推荐系统、社会网络查询与分析，与Web服务等。
(4)JunZhang教授
威斯康星大学密尔沃基分校教授，UC伯克利的visiting
scientist。他的研究兴趣包括计算机视觉和图像处理，信号处理和数字通信。

(5)FlorianZuleger
维也纳技术大学助理教授，主要研究领域包括：程序分析，软件形式化验证方法等。

(6)YajunFang博士
MITCSAIL实验室博士。长期从事机器视觉、智能车和智能交通系统的研究，是MITUniversalVillageprogramandUniversalVillage国际会议的发起人之一。