Avi在CSDM

计算机科学与离散数学

如果您想了解这个项目和我们的活动,请点击其中一个链接或阅读背景信息

CSDM项目成立于1999年,每周举办两次研讨会.这个项目的主要目的是深入研究,通常与短期访问者和当地学术和研究机构的人合作普林斯顿大学罗格斯大学,或DIMACS.要了解更多信息,请查看这些页面研讨会而且

CSDM计划以前的活动可以通过上面列出的链接找到。

背景信息

欢迎浏览理论计算机科学与离散数学特别课程(TCS / DM).

这一领域是当今科学研究中最具活力和活跃的领域之一。从半个世纪前开始,甚至在计算机出现之前,理论计算机科学家就开始从数学上定义“计算”的概念,并研究它的能力和极限。艾伦·图灵、约翰·冯·诺依曼(1933-57年研究所教员)和他们同时代人的理论发现导致了IAS第一台存储程序计算机的实际构建,随后是我们今天正在见证的计算机“革命”。

计算机的实际应用,以及与此同时,“计算”这一抽象概念出人意料的数学深度,极大地改变和扩展了理论计算机科学。在过去的25年里,它已经变成了一个丰富而美丽的领域,与其他领域建立了联系,吸引了有才华的年轻科学家。更多相关方面的技术描述(但仍然流行)可以在这里找到:

研究所的TCS/DM

理论计算机科学和离散数学的“母”学科曾经由约翰·冯·诺伊曼(1933-57)和库尔特·Gödel(1953-76)代表。在经历了相当长的一段时间后,20世纪90年代初,数学学院开始探索重新开启这一研究潮流的可能性,并在20世纪90年代初举办了一系列广受欢迎的讲座迈克尔·拉宾而且理查德·卡普。1993年标志着由来自世界各地的顶尖研究人员领导的一系列探索性项目的开始。同年,每周的研讨会(现在称为理论计算机科学与离散数学研讨会)成立。

事实证明,这些探索性项目在科学和教育方面都非常成功,也受到了研究所以外的数学界的好评。因此,他们决定继续下去1997 - 98而且1998 - 99Noga阿龙而且Avi Wigderson在组合学和计算复杂性方面担任进一步项目的领导职务。

理论计算机科学和离散数学的永久存在是由任命做出的承诺Avi Wigderson致新设立的教员职位(1999)。本次活动也标志着TCS/DM特别项目的正式开始。

几乎在同一时间(在2000-01学年),CSDM计划举行了一次计算复杂度特别年吸引了该领域的知名研究人员.作为建立它的另一部分努力,亚历山大Razborov2001-2006年被任命为高级成员。

可以通过上面侧边栏中列出的链接找到以前的活动前几年。

合作与教育

从一开始,CSDM项目就与附近的学术机构以及行业研究小组密切合作。我们的主要合作伙伴包括:

CSDM项目特别强调教育方面。在…的支持下IAS/公园城市研究所2000年夏天,Avi Wigderson而且史蒂文Rudich(卡内基梅隆大学)组织了一个计算复杂性研究生暑期学校。CSDM项目每年从理论计算机科学和离散数学领域的博士毕业中寻求博士后申请。

回到本页顶部