分论坛 > 总部 > 活动预告
2014北航计算机科学前沿暑期学校
2014-07-28 阅读量:715 小字

北航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国际会议的发起人之一。


热门动态
2023-05-05
AI为科学提供了强有力的工具和方法,帮助领域学者发现新的知识、...
2023-03-24
2023年3月18日,CCF YOCSEF成都在四川省成都市五岳宫街28号成都...
2023-03-04
2023年3月3日11:00-14:00,CCF YOCSEF成都分论坛开展走进系列特...
2023-03-02
近十年,我国交通运输事业取得了历史性成就,发生了历史性变革,...
2023-02-27
2023年2月24日下午,CCF YOCSEF 成都的现任和候任AC委员们、老AC...
2023-01-12
2023年1月7日-8日,CCF YOCSEF成都在四川省峨眉山市峨眉山...
2023-01-01
时光荏苒,举步维艰的2022年已远去,欣欣向荣的2023正向我们走来。2022年,在YOCSEF总部、各兄弟分论坛的大力支持下、在各位AC委员、通讯AC委员和委员的共同努力下,CCF YOCSEF太原紧密围绕学术与产业前沿,聚焦科学与社会热点,举办了一系列前瞻性、引领性的观点论坛、技术论坛与CLUB活动,主题涵盖了人工智能算力基础设施、人工智能数据标注、经济转型发展、非物质文化遗产保护等,为山西省乃至全国计算及相关领域的青年科技工作者搭建了交流平台,创造了成长机会,也承担了一定的社会责任。
2022-05-23
2022年5月21日,CCF YOCSEF广州举办“走进图普科技”ClLUB活动暨...
2022-08-18
近年来,人工智能快速发展、赋能千行百业,催生新技术、新产品、...
2022-08-20
近年来,我国大力发展区块链技术和相关应用成果落地,无论是科研...
2022-09-26
近年来,人工智能技术发展迅速,与之相关的数据安全问题也日益受...
2022-10-16
作为我国国民经济的基础,农业是支撑整个国民经济发展和进步的保...
2022-11-13
YOCSEF广州-桂林“东南亚非通用语种AI技术助力东盟经贸合作”联合技术论坛近日成功举办。 随着中国“一带一路”倡议的提出,东盟地区基于地缘政治、地理优势和人文基础成为“一带一路”建设的重点地区,中国与东盟合作迎来历史大机遇。而当前不断优化的东南亚非通用语言AI技术是否能为跨境电商等东盟的经贸合作提供更进一步的助力?
2022-12-04
公司,从算法、架构和软硬件协同等不同的维度去实现高性能的计算。针对人工智能芯片热潮,中国计算机学会(CCF)青年计算机科技论坛(YOCSEF)广州分论坛学术委员会于2022年12月3日以线上视频会议的形式举办了YOCSEF大湾区IT创新论坛——“人工智能芯片的机遇与挑战”观点论坛,共论我国AI芯片发展现状与未来之路
2022-11-13
CCF YOCSEF成都成功举办“当行为数据分析遇上云边智能”技术论坛...
2022-11-03
习近平总书记在二十大报告中指出:全面推进乡村振兴,加快建设农...
2022-08-25
2022年8月20日,中国计算机学会(CCF)青年计算机科技论坛(CCF ...
2022-08-16
2022年8月13日下午,由中国计算机学会(CCF)主办,CCF YOCSEF成...
2022-08-16
   7月25日,由CCF主办、YOCSEF深圳承办,国家超级计算深圳中心...
2022-06-11
人工智能与大数据技术为我国经济增长带来了新的历史机遇;在大数...
CCF聚焦