目标：

面向非中国籍本科生和硕士研究生同学，在约定期限内远程访问北京大学计算机系，了解计算机相关领域的课题研究,了解中国信息科技行业的发展现状。

内容：

1. 了解计算机系前沿研究课题；

2. 了解中国信息科技行业发展现状

时间： 12月28－29日  09:00-10:30  

20:00-21:30

申请条件：

1. 非中国籍本科生或硕士研究生；

申请材料：

1. 个人陈述（包括研究兴趣点、科研经历等）

2. 成绩单

3. 护照页照片

*请提交所有材料至gradadmissions.cspku.edu.cn

12月28日 9:00-10:30 AM

Title: Intelligent Sensing

Presenters: Daqing Zhang, Kaigui Bian, Leye Wang, Chenren Xu

Abstract: With the prevalence of ubiquitous sensing sources such as smartphones, cameras, and WiFi, we can obtain a rich set of digital signals that can intelligently monitor and analyze our daily life. While with a great potential, ubiquitous intelligent sensing technologies still face a variety of fundamental challenges like sensing generalizability, energy consumption, privacy protection, etc. In this session, we would introduce our recent research achievements in intelligent sensing, including wireless sensing with ubiquitous RF signals, inertial and visual sensing, backscatter networking for battery-free sensing, and privacy-preserving mobile crowd sensing.

12月28日20:00-21:30 PM

Title: Intelligent Software Engineering: Synergy between AI and Software Engineering

Presenters: Tao Xie, Ge Li

Abstract: As an example of exploiting the synergy between AI and software engineering, the field of intelligent software engineering has emerged with various advances in recent years. Such field broadly addresses issues on intelligent [software engineering] and [intelligence software] engineering. The former, intelligent [software engineering], i.e., AI4SE, focuses on instilling intelligence in approaches developed to address various software engineering tasks to accomplish high effectiveness and efficiency. The latter, [intelligence software] engineering, i.e., SE4AI, focuses on addressing various software engineering tasks for intelligence software, e.g., AI software. This talk will discuss recent research and future directions in the field of intelligent software engineering.

12月29日 9:00-10:30 AM

Title: Programming Languages Research at Peking University

Presenters: Zhenjiang Hu, Yingfei Xiong, Xin Zhang

Abstract: The Programming Languages research at Peking University aims at building the next-generation programming languages, including their fundamental theories and core infrastructures. Towards this goal, we have proposed the concept of bidirectional transformation and led its research, which formed a new sub-field in programming languages; we have started the new direction of program analysis by combining logic and probabilities, which leads a new paradigm of analyzing programs; we have proposed a data-driven framework for program synthesis and repair, which doubles the precision of program repair and consequently solves the key bottleneck preventing industry adoption. Based on these results, we are developing new techniques for building the next-generation programming languages and their infrastructures, such as: 1. how to efficiently develop domain-specific languages, 2. how to synthesize complex algorithms, and 3. how to build reliable artificial intelligence.

12月29日 20:00-21:30 PM

Company Talk-Microsoft Research Asia: System and Networking