MIT计算机专业调研产业分析

1、排名MAC Robert Fano 合并威廉玛丽学院 罗杰斯AI安全理论AI发展脉络MAC项目AI Group & Computer Science LabCSAIL标志性成果Lisp语言、OWL第一个分时操作系统ITS第一个神经网络学习机 SNARC第一个头戴式显示器The Society of Mind理论AIRobert Fano美国艺术与科学院院士、IEEE会士1976年获得IEEE信息理论学会的香农奖MAC项目组织者Tim Berners-LeeWWW之父研究兴趣security infrastructuredigital signatureelectronic voting

2、标志性成果加密算法：RSA, RC2RC6代表人物Ronal Rivest 2002年图灵奖得主。美国艺术与科学院院士，美国计算机协会会士，国际密码研究学会会士。现领导CSAIL密码与信息安全研究组。与Adi Shamir和Len Adleman一起发明了RSA公钥算法.发明了对称密钥加密算法: RC2, RC4, RC5, RC6。发明了加密散列函数: MD2, MD4, MD5, MD6安全理论研究热点生物计算量子计算分布式系统算法并行计算标志性成果POLYNOMIAL-TIME HIERARCHY的形式化各种难解问题的近似算法Macsyma-第一个符号演算器Shor 因式分解算法理论Al

3、bert R. Meyer研究 复杂性理论 逻辑和语义类型理论，编程语言语义，并发进程1999当选ACM院士Nancy Lynch分布式算法分布式系统的形式化模型和验证无线移动网络的算法1996当选ACM院士2007年获得Knuth PrizeBarbara Liskov2008年年ACM图灵图灵奖奖(第二第二位女性获奖者位女性获奖者) 。2004年约翰年约翰冯诺依曼奖得主。美国工冯诺依曼奖得主。美国工程院院士，美国艺术与科学院院士，美国计算机协会会程院院士，美国艺术与科学院院士，美国计算机协会会士。士。CLU（一种（一种面向对面向对象象语言语言）和和Argus（一种分布式（一种分布式编程语言

4、编程语言)发明人发明人编程方法学分布式分布式计算与云计算与云存储存储指导本科生的软件工程指导本科生的软件工程实验课实验课改变改变MIT女性弱势地位女性弱势地位David R. KargerACM Fellow .研究研究兴趣在信息检索和兴趣在信息检索和算法分析。算法分析。haystack项目项目讲授高级算法和随机讲授高级算法和随机算法等几门课程算法等几门课程Sepandar KamvarLG Career Development Professor of Media Arts and Sciences 。媒体实验室。媒体实验室社会计算组组长社会计算组组长。StanfordKaltixGoogl

5、eStanfordMITThe Anatomy of a Large-Scale Social Search Engine WWW 2010亮点 将village模型引入搜索;基于topic而不是基于keyword难点 对用户和主题的关系建模并统计分布 将查询映射到主题研究价值 利用社会网络使得搜索更为语义化计算技术计算技术与与社会科学社会科学相结合的交叉学科，它研究利用计算技术相结合的交叉学科，它研究利用计算技术帮助帮助人们认识社人们认识社会规律、相互沟通与协作，以及会规律、相互沟通与协作，以及利用群体利用群体智慧解决问题的原理和智慧解决问题的原理和方法。方法。社会计算社会计算对产业的影响

6、传媒 传统传媒更大冲击 互联网传媒新机遇 电子商务 舆情分析 搜索速度 极快速度有利于商业信息的传播关系 庞大且用户特定的关系网络能够带来更加个性化的服务(电子商务和搜索)信息量 巨大的信息量数据挖掘和舆情分析提供了数据支持速度 极快速度有利于商业信息的传播关系 庞大且用户特定的关系网络能够带来更加个性化的服务(电子商务和搜索)信息量 巨大的信息量数据挖掘和舆情分析提供了数据支持商业模式 社交网络与电子商务的融合 协同过滤加社会化推荐盈利模式 精准广告难点 区分亲密性和同好性 不影响用户感受的同时获取用户对广告的反馈信息21Thank you!AIRobert Fano美国艺术与科学院院士、IEEE会士1976年获得IEEE信息理论学会的香农奖MAC项目组织者Tim Berners-LeeWWW之父理论Albert R. Meyer研究 复杂性理论 逻辑和语义类型理论，编程语言语义，并发进程1999当选ACM院士Nancy Lynch分布式算法分布式系统的形式化模型和验证无线移动网络的算法1996当选ACM院士2007年获得Knuth Prize社会计算对产业的影响 传媒 传统传媒