目标：

面向非中國籍本科生和碩士研究生同學，在約定期限内遠程訪問beat365計算機系，了解計算機相關領域的課題研究,了解中國信息科技行業的發展現狀。

内容：

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