中国科学院软件研究所2017年学术年会
特邀报告
时间：2018年5月18日
地点：中国科学院软件园区5号楼四层大报告厅
特邀报告人：王义 教授
题目：Dynamically Updatable EmbeddedReal-timeSoftware
报告人简介：
王义，东北大学计算机学院千人计划教授，瑞典Uppsala大学讲席教授, fellow of royal society of sciences，IEEE fellow，member ofAcademia European。由于在形式化验证， 嵌入式系统及实时系统领域的杰出贡献，王义教授获2013年CAV奖，并五次获该领域旗舰会议最佳论文奖（Best Paper Award of RTSS 09，RTSS 15， RTSS 17， DATE 13， ECRTS 15）。
报告摘要：
Today, manyindustrial products are defined by software and therefore customizable byinstalling new applications on demand. Their functionalities are implemented bysoftware and can be modified and extended by software updates. This trendtowards customizable products is rapidly expanding into all domains of IT,including Embedded Systems deployed in cars, robotics, and medical devices etc.The current state-of-practice in safety-critical systems allows hardly anymodifications once they are deployed. This work aims to supply the missingparadigms and technologies for building and updating safety-critical embeddedsystems after deployment – subject to stringent timing constraints, dynamicworkloads, and limited resources on complex platforms. Essentially there arethree key challenges: Composability, Resource-Efficiency and Predictability toenable modular, incremental and safe software updates over system life-time inuse. We present research directions to address these challenges: (1) Openarchitectures and implementation schemes for building composable systems, (2)Fundamental issues in real-time scheduling aiming at a theory of multi-resource(inc. multiprocessor) scheduling, and (3) New-generation techniques and toolsfor fully separated verification of timing and functional properties ofreal-time systems with significantly improved efficiency and scalability.
特邀报告人：季铮锋 教授
报告人简介：
季铮锋，悉尼科技大学工程与信息技术学院量子软件与信息中心教授。他于2002和2007在清华大学计算机科学与技术系获得学士和博士学位，师从应明生教授。他多年致力于量子计算机科学的研究，主要研究兴趣包括量子算法、量子复杂性理论、量子密码学等。
报告摘要：
报告人简介：
丁治明，中国科学院软件研究所研究员、博导，兼任北京工业大学信息学部教授、博导、学术委员会副主任。长期从事数据库与知识库系统、大数据领域的研究，并具有丰富的研究成果。
曾工作于德国时空数据管理领域的国际顶级专家Ralf Hartmut Güting教授团队；长期在中国科学院系统（计算所、软件所）学习与工作；2014年8月通过海内外招聘担任北京工业大学计算机学院副院长（主持工作），2016年6月至2018年4月任计算机学院院长、信息学部副主任。2018年4月至今任中国科学院软件研究所的研究员、博导。
2016年获国务院政府特殊津贴、青海省“千人计划”领军人才，2016年11月当选为北京市朝阳区人大代表。是中国计算机学会（CCF）数据库专委会委员、CCF大数据专委会委员、CCF电子政务与办公自动化专委会委员，担任IEEEIntelligentTransportation System Society的SocialTransportationTechnical Committee的主席、ACM SIGSpatialChina Chapter的副主席，担任国际顶级刊物IEEE Transactions onIntelligent Transportation Systems、IEEE IntelligentTransportation Systems Magazine的编委。
报告摘要：
近年来，随着传感技术、遥感与遥测技术、定位技术和无线通讯技术的进步，相关行业积累了海量的时空感知大数据，如遥感/航拍/无人机数据、地理测绘数据、天文观测数据、车辆/动物轨迹数据、居民出行及通讯数据、带有时空属性的物联网及智慧城市采样数据等。与此同时，随着各类数据驱动型应用对地理空间信息需求层次的不断提升，有效表达、组织和分析时空感知大数据的要求越来越迫切。
时空感知大数据具有数据类型多源异构性、处理与分析实时性、时空数据冗余性、时空相关性、计算负载不均衡性等特点，使得目前的大数据处理方法无法有效地对之进行处理。本报告将介绍时空感知大数据实时处理与分析的概念及关键挑战，分析时空大数据环境下的关系数据库技术及现有大数据处理技术的局限，最后阐述相关的解决方案，并对时空感知大数据的应用进行分析。
特邀报告人：杨易 教授
题目：大规模智能视频分析技术
报告人简介：
杨易,悉尼科技大学计算机学院教授。2010 年浙江大学获得计算机博士学位,2011 年-2013 年在卡内基梅隆大学做博士后研究,后在昆士兰大学担任 DECRA高级研究员,2015 年 1月起 在悉尼科技大学先后担任高级讲师、副教授,并于 2017 年 5 月晋升为教授。悉尼科技大学在澳 大利亚计算机方向名列前茅。最新的 2017 年世界大学学术排名(ARWU)中,计算机科学与工程领域位列全球大学第 48 位。2012 年获得全国优秀博士论文,2013 年获得澳大利亚研究理事会青年研究奖,2015 年获得浙江省自然科学一等奖(排名第四),2016年获得谷歌学者研究奖 (Google Faculty Research Award)，2017年获得澳大利亚计算机学会颁发的金牌创新奖 (Australian Computer Society Digital Disruptors Awards -GoldDisruptors,)。担任多个顶级会议的领域主席和高级程序委员,如ICCV,ACM Multimedia,IJCAI 等。杨易教授主要从事多媒体和计算机视觉研究,取得了多项具有国际影响力的重要创新性成果 在国际权威期刊(IEEETransanctions)和 CCF A 类会议发表论文 100 余篇,所取得的成果赢得国际学术界和工业界的广泛关注。
