2018年由康奈尔大学与致远学院联合发起实习项目。现将报名通知发布如下。由学院进行选拔后向康奈尔大学推荐,获得录取的学生将于2018年7月1日至9月30日前往康奈尔大学进行科研实习。

一、 申请者范围

致远工科荣誉计划在读的大三本科生

二、 申请条件

计算机专业或者有计算机学习背景,成绩优异, 无不及格科目

三、 申请材料及时间

(一)申请材料
1、英文个人简历
2、英文个人陈述
3、成绩单(英文版等级制)
4、英文水平证明
(二)截止日期
院内申请截止时间:2018年4月25日下午5点

四、 申请材料提交形式

2018年康奈尔大学实习项目报名链接
咨询方式:54745761


项目三位导师研究方向信息如下,请根据自己的研究兴趣和专业背景选择感兴趣的导师:
Nate Foster: Network Verification Tools
This project will develop automated tools for verifying formal properties of computer networks. Building on previous work on the NetKAT language, we will engineer practical verification algorithms based on automata representations of network packet-processing behavior. We will also apply these algorithms to real-world network configurations and evaluate how well they perform. Familiarity with a functional
更多信息请查询主页:http://www.cornell.edu/search/people.cfm?netid=jnf27

Kevin Tang: Software Defined
Networking for Wide-Area Networks
Provide a uniform interface for IoT applications.
更多信息请查询主页:http://www.cornell.edu/search/people.cfm?netid=at422

Adrian Sampson: Braid, a Heterogeneous Programming Language for Real-Time Graphics
We have developed an experimental programming language, Braid http://braidgl.com, that makes OpenGL programming safe without sacrificing flexibility. Your project would have two parts. First, we will apply Braid to build a realistic graphics engine to demonstrate its potential. Second, we will extend the prototype Braid compiler to enable better debuggability and standalone software development.You should be familiar with and interested in compiler design and implementation. Some familiarity with graphics development and JavaScript would be useful but is not required.
更多信息请查询主页:http://www.cornell.edu/search/people.cfm?q=Adrian+Sampson

致远学院国际化办公室
2018年4月20日