Permalink: 2014-08-04 by 孙锴 in 中文博客 tags: 康奈尔

Ithaca is Gorges

伊萨卡(Ithaca)是位于美国纽约州的城市,是康奈尔大学的所在地。到康奈尔后,John和Judy向我们每人发了一份介绍Ithaca的材料,材料袋上写的“Ithaca is Gorges”——这一表述并不夸张,伊萨卡有好多的峡谷和瀑布。康奈尔大学就建在壮观的峡谷与瀑布之间。

Alt text

这里人与自然相处和谐,水清、树荣、天蓝、草盛,时常可以看到松鼠等小动物。

Alt text

Programming Language and Logic

或许是因为Programming Language是康奈尔大学的计算机系的实力较强的研究领域,“编程语言和逻辑”成为我们康奈尔之行所上的两门课之一。David Gries主讲循环不变式(Loop Invariant),Michael Clarkson主讲编程语言Coq,对于我来说这两部分课程内容都比较新颖。两位教授对教学工作的投入给我留下了深刻印象,尤其是David Gries教授对作业评注的细致程度出乎我的意料。

Alt text

Specialty Practice

“专业实习”是我们在康奈尔的另一门课。我们每人从John给出的约10个主题中选出一个感兴趣的,提出相关问题,并进行为期一个月的研究。每个人要对所探究的问题做一次演讲,最后提交一份不超过三页的报告。因为在康奈尔的这段时间恰好包含SLT'14的截稿时间(7月下旬),且准备提交的论文还有一些工作没有完成,包括一部分理论推导和一部分实验,所以我将这部分未完成的工作作为这门课的研究内容。

Lectures

Alt text

除了两门课外,在工作日的其它时间我们参加了很多教授的讲座。讲座内容涉及计算机系统,计算机理论,图像,计算机语言等,以系统和理论居多。在诸多讲座中,我最感兴趣的机器学习方面的讲座只有一场,演讲者是Thorsten教授,他演讲的主题是Learning with Humans in the Loop,也是他在ECML上的Keynote Talk。

Communications

  • Hadas Kress-Gazit 的机器人实验室 在去康奈尔之前,导师提到了Hadas Kress-Gazit教授所做的工作可能与state tracking相关。经过邮件联系,我与陈楠昕参观了她的实验室,观赏了他们过去的主要工作的展示,并了解了他们正在进行的研究工作。

  • 与Thorsten Joachims交流 Thorsten Joachims是康奈尔大学为数不多的机器学习方向的教授。我与他进行了约40分钟的交流。

  • 与Yun Jiang交流 在一次ice cream party,和一位土耳其的学生交流中我了解到Ashutosh Saxena教授的机器人组在做一些我看来很有趣的工作,同时又了解到到Ashutosh Saxena是康奈尔大学为数不多的另一位机器学习方向的教授,所以我联系了Ashutosh Saxena以及他们组的一些PhD学生,并最终在另一次ice cream party上与Yun Jiang进行了较长时间的交流。

  • 与其它教授、PhD学生交流 尽管康奈尔大部分实验室与我做的研究工作交集都不大,我仍然与部分教授进行了一定的交流,尤其是涉及到我感兴趣的一些话题(电子货币)的教授。另外我与多位不同方向的PhD学生进行了交谈。