国外一流计算机专业介绍.ppt

单击此处编辑母版文本样式,第二级,第三级,北京航空航天大学计算机学院,单击此处编辑母版标题样式,Click to edit Master title style,Click to edit Master text styles,Second level,Third level,Fourth level,Fifth level,*,*,Click to edit Master title style,Click to edit Master text styles,Second level,Third level,Fourth level,Fifth level,*,*,Click to edit Master title style,Click to edit Master text styles,Second level,Third level,Fourth level,Fifth level,*,*,Click to edit Master title style,Click to edit Master text styles,Second level,Third level,Fourth level,Fifth level,*,*,Click to edit Master title style,Click to edit Master text styles,Second level,Third level,Fourth level,Fifth level,*,*,Click to edit Master title style,Click to edit Master text styles,Second level,Third level,Fourth level,Fifth level,*,*,Click to edit Master title style,Click to edit Master text styles,Second level,Third level,Fourth level,Fifth level,*,*,Click to edit Master title style,Click to edit Master text styles,Second level,Third level,Fourth level,Fifth level,*,*,Click to edit Master title style,Click to edit Master text styles,Second level,Third level,Fourth level,Fifth level,*,*,Click to edit Master title style,Click to edit Master text styles,Second level,Third level,Fourth level,Fifth level,*,*,Click to edit Master title style,Click to edit Master text styles,Second level,Third level,Fourth level,Fifth level,*,*,Click to edit Master title style,Click to edit Master text styles,Second level,Third level,Fourth level,Fifth level,*,*,范围和资料来源,美国一流计算机专业介绍,欧洲一流计算机专业介绍,亚洲一流计算机专业介绍,内容提要,介绍范围和资料来源,介绍范围,美国：计算机专业排名前,9,所大学,欧洲：英国,3,所、德国,2,所,亚洲：日本,2,所、新加坡,2,所,信息来源,大学网站,公开资料,北航,国内外高校计算机学科调研与分析,报告,其它公开资料,计算机专业设置,Computer Science,Electrical Engineering and Computer Science,Electrical and Computer Engineering,Mathematics,&Computer Science,Informatics,School&Faculty&Department,麻省理工学院,(MIT),EECS:,www.eecs.mit.edu/grad/areas.html,学科方向情况,特色：,AI,、,Security,其它：系统架构、基础理论等,AI,特色方向发展简介,发展脉络,1959,年开始，,1963,年启动,MAC,项目,(DARPA,资助，,2,百万美元,),，该项目在操作系统、人工智能、计算理论等方面做出了突破性的研究。,成立了,AI Group,另一部分人成立了,Computer Science Lab,，,2003,年，合并为,CSAIL(Computer Science and Artificial Intelligence Laboratory),，员工超过,600,人,标志性成果,Lisp,语言、,OWL,，第一个分时操作系统,ITS,第一个神经网络学习机,SNARC,、第一个头戴式显示器、,The Society of Mind,理论,麻省理工学院,(MIT),AI,特色方向发展简介,(,续,),实验室或研究组,CSAIL,实验室下设三个研究方向（,AI,System,Theory,），共,50,个研究组，其中,AI,方向有,28,个,当前研究热点,计算生物学（生物学习）,计算认知,计算机基因学,计算机图形学,机器人,视觉,HAYSTACK(,信息收集、访问、管理和发布,),麻省理工学院,(MIT),AI,方向代表人物,Robert Fano,美国科学院院士、美国工程院院士、美国艺术与科学院和,IEEE,研究员、,1976,年获得,IEEE,信息理论学会的香农奖,MAC,项目的主要组织者,Tim Berners-Lee,美国工程院院士、美国科学院外籍院士、突出贡献总统奖,发明了,WWW(CERN),W3C director,第一个,Web Server,NeXT Computer,麻省理工学院,(MIT),AI,方向代表性研究项目,Oxygen,以人为中心的普适计算，研究包括交互设备技术、网络技术、软件技术、基于语音和视觉的多模态感知技术、用户操作、协同和知识访问技术,研究成果应用领域广泛，部分技术和产品原型正在合作伙伴处进行测试，很快将进入实际应用。,资助：,Acer,、,DE,、,HP,、,Nippon T&T,、,Nokia,、,Philips Research,、,DARPA,麻省理工学院,(MIT),Security,特色方向发展简介,发展脉络,70,年代开始一直在研究加密算法，,RSA,，,RC,，,MD5,近年来研究,security infrastructure,digital signature,electronic voting,private information retrieval,标志性成果,加密算法：,RSA,RC2RC6,麻省理工学院,(MIT),Security,方向代表人物,Ronal Rivest,2002,年图灵奖得主。美国工程院院士，美国科学院院士，美国艺术与科学院院士，美国计算机协会会士，国际密码研究学会院士。现领导,CSAIL,密码与信息安全研究组。,研究领域为密码学、计算机和网络安全、算法，与,Adi Shamir,和,Len Adleman,一起发明了,RSA,公钥算法,对称密钥加密算法,:RC2,RC4,RC5,RC6,加密散列函数,:MD2,MD4,MD5,MD6,麻省理工学院,(MIT),Security,方向代表性研究项目,加密研究,Incremental cryptography,Threshold Cryptography,Exposure-Resilient Cryptography,Lattice-Based cryptography,MAITA(Monitoring,Analysis,and Interpretation Tool Arsenal),Adaptive Knowledge-Based,Active Trust Management,attack recognition,Agile Monitoring for Cyber Defense,Event recognition beyond signature and anomaly,DARPA,资助,斯坦福大学,(Stanford),1965,年成立计算机系,Website:,cs.stanford.edu/,教授和毕业生创立的硅谷,IT,公司,SUN,HP,Cisco,Google,SGI,学科方向情况,特色方向：体系结构、系统软件、编译器,其它：分布式处理、人机交互、网络、模式识别,斯坦福大学,(Stanford),发展简介,80,年代：,RISC,技术,90,年代：基于共享存储大规模可扩展并行计算,近年：多核计算,标志性成果,MIPS,处理器：来源于,MIPS,项目,VMware,虚拟机：来源于,SimOS,项目,实验室或研究组,CSL(Computer Systems Laboratory,，,CS&EE),当前研究热点,低功耗处理器、,NOC,、,FPGA,应用加速,斯坦福大学,(Stanford),John Hennessy,（,RISC,之父）,现任,Stanford,校长,美国国家工程院院士、美国国家科学院院士,突出贡献,RISC,（,1984,年研制成功,MIPS,处理器，创建,MIPS,公司）,获奖,1995,：,IEEE,技术成就奖,2000,：冯,.,诺伊曼奖,(,与,David A.Patterson,分享,),2001,：,Eckert-Mauchly,奖,世界级教材,(,与,David A.Patterson,合著,),Computer Organization and Design:the Hardware/Software Interface,Computer Architecture:A Quantitative Approach,斯坦福大学,(Stanford),代表性研究项目,MIPS,：,RISC,技术,DASH/FLASH,：可扩展的,cc-NUMA,Hydra/Imagine,：通用多核计算、流计算,Smart Memory,加州大学伯克利分校,(UC Berkeley),1968,年成立计算机系，,1973,年与,EE,系合并成立电子与计算机系,(EECS),Website:,www.eecs.berkeley.edu,学科方向情况,特色方向：体系结构、操作系统、网络,其他：集成电路、编译器,加州大学伯克利分校,(UC Berkeley),发展简介,70,年代：操作系统技术,80,年代：,RISC,技术,90,年代：并行处理,近年：并行处理，多核体系结构，可重构计算,标志性成果,SPARC,处理器：来源于,RISC,项目,并行机群：来源于,NOW,项目,磁盘阵列：来源于,RAID,项目,SunOS,：部分来源于,BSD UNIX,实验室或研究组,Parallel Laboratory(ParLab),多核体系结构，编程模型与编译工具，程序开发与测试环境,RAMP(,多所大学合作,),新一代处理器结构设计，分析与测试方法理论，以及其性能分析工具,当前研究热点,多核，并行，可重构计算,加州大学伯克利分校,(UC Berkeley),David A.Patterson Professor,（,RISC,之父）,美国国家工程院院士，美国国家科学院院士,获奖,1995,：,IEEE,技术成就奖,(RISC),1999,：,IEEE Reynold Johnson,信息存储奖,(RAID),2000,：,IEEE,冯,.,诺伊曼奖,(,与,John Hennessy,分享,),2008,：,Eckert-Mauchly,奖,突出贡献,RISC,、,RAID,、,NOW,、,13 dwarfs,代表性项目,UPCRC(Universal Parallel Computing Research Center),RAMP(Research Accelerator for Multiple Processors),世界级教材,(,与,John Hennessy,合著,),Computer Organization and Design:the Hardware/Software Interface,Computer Architecture:A Quantitative Approach,加州大学伯克利分校,(UC Berkeley),代表性研究项目,UPCRC,：侧重并行计算体系结构和系统软件,RAMP,：,Research Accelerator for Multiple Processors,伊利诺伊大学香槟分校,(UIUC),计算机系,1964,年由数字计算机实验室重组而来,Website:,cs.illinois.edu,学科方向情况,特色方向：并行计算,其它：编译、操作系统、计算机网络与分布式系统、嵌入式系统、人工智能、图形学,伊利诺伊大学香槟分校,(UIUC),发展简介,90,年代前，在高性能计算机研究方面偏重硬件及工程实施；,90,年代后则偏重高性能计算编程模型、方法及软件工具,86,：,NCSA(,美国国家超级计算及应用中心,),标志性成果,52,：,ILLIAC 1,，第,1,台由大学建造的,SC,62,：,ILLIAC 2,，第,1,台采用晶体管和流水线的,SC,66,：,ILLIAC 3,，,SIMD/,模式识别,72,：,ILLIAC 4,，,MPP,鼻祖,85,：,CEDAR,，第,1,台共享大规模存储并行机,06,：,ILLIAC 6,，大规模实时处理,(,安全,/,流媒体,/,视觉,),MESI,协议、,MPI,、,OpenMP,、并行编程模式,(,分割,/,调度,/,同步,),实验室或研究组,UPCRC(Universal Parallel Computing Research Center),研究并行计算（,Intel,和,Microsoft,联合资助，,5,年,1,千万美元）,当前研究热点,Petaflop,并行机及其应用、并行编程理论、云计算、大规模,GPU,并行计算、新型片上多处理器,伊利诺伊大学香槟分校,(UIUC),Marc Snir,UPCRCUIUC,负责人之一,IEEE fellow,，,ACM fellow,突出贡献,MPI(Message Passing Interface),代表项目,IBM SP,并行系统,IBM Blue Gene,伊利诺伊大学香槟分校,(UIUC),Wen-mei Hwu,UPCRCUIUC,负责人之一,IEEE fellow,，,ACM fellow,AMD,创始人,Jerry Sanders,首席教授,获奖情况,1998,：,ACM SigArch Maurice Wilkes Award,1999,：,ACM Grace Murray Hopper Award,2001,：,Tau Beta Pi Daniel C.Drucker Eminent Faculty Award,突出贡献,HPS,：乱序执行与有限数据流融合,代表项目,Blue Water,NVIDIA,全球第一个“,CUDA,卓越中心”,精品课程,Programming Massively Parallel Processors,伊利诺伊大学香槟分校,(UIUC),代表性项目,UPCRC,：侧重并行计算编程环境及应用,Blue Water,IMPACT,编译器,卡内基梅隆大学,(CMU),CS:,www.cs.cmu.edu,学科方向情况,特色：,HCI,、,Software Engineering,其它：,Graphics,Architecture,AI,HCI,方向发展简介,1985,年建立了第一个用户研究的实验室，观察和记录用户的行为,1993,年开设,CMU,第一门,HCI,课程、,1993,年成立,HCII,研究所,2000,年，针对知识创造全过程开展研究，即人在组织和社会结构中如何工作、游戏和交流，设计、开发和评估相应的技术和工具来支持人及其社会活动,现在的研究方向：认知模型、语音识别、自然语言理解、计算图形、手势识别、数据可视化、智能,agent,、多媒体、机器人、技术对组织和社会的影响等。,标志性成果,ACT-R(Adaptive Control of Thought-Rational),Wii Remote(by Johnny Chung Lee,，,2006,年任天堂开始出售，已售出几百万,),卡内基梅隆大学,(CMU),HCI,特色方向发展简介,(,续,),实验室或研究组,HCII,研究所，两个研究中心,Pittsburgh Science of Learning Center(PSLC),、,Quality of Life Technology Center,当前研究热点,用户界面,认知模型,语音识别,自然语言理解,计算机图形学,手势识别,计算机协同,卡内基梅隆大学,(CMU),HCI,方向代表人物,John Robert Anderson,美国科学院院士，美国艺术与科学院研究员，美国科学院心理学部主席,David E.Rumelhart,奖,(,认知的形式化分析的贡献,),、,Howard Crosby Warren,奖章,(,实验心理学突出贡献,),、,Dr.A.H.Heineken,认知奖,研究领域为,Learning and Memory,、,Cognitive Architecture,、,Problem Solving,、,Intelligent Tutoring,、,fMRI Brain Imaging,提出并研究了,ACT-R,理论,卡内基梅隆大学,(CMU),HCI,方向代表人物,Sara Kiesler,2009 ACM SIGCHI,终身成就奖、,CHI,学院研究员、,ACM,计算机科学与电信分部成员、美国科学院研究员、美国心理学会奠基人,研究领域：,Human Assistance,Social Computing,把,social psychology,和,HCI,中的理论和概念引入到,robotics,并和他人一起建立了多学科交叉的,human-robot interaction,研究方向,卡内基梅隆大学,(CMU),HCI,方向代表性研究项目,ACT-R,关于认知架构的研究，提供了一种编程语言用于构造各种不同任务的模型，从而可以比较模型运行结果与人实际完成任务的结果进行对比，从而开展量化的认知研究。,ACT-R,已经成功应用于学习与记忆、问题解决和决策、语言交流、感知和关注、认知发展等领域的认知建模,ACT-R,理论已应用到多个领域,卡内基梅隆大学,(CMU),Software Engineering,方向发展简介,从,70,年代开始研究形式化的抽象数据类型，,80,年代研究软件开发环境、形式化方法、程序分析,1984,年成立,SEI,主要在,DoD,资助下从事有关过程管理、工程技术和采购等方面的咨询和研究,(SEI,不是计算学院的部门，计算机学院的,SE,研究主要在,ISR),当前研究软件体系结构、自愈系统、基于价值的设计分析、信息安全、支持程序分析的编程语言设计,标志性成果,Standards:CMM,CMMI,AADL,Software Architecture,描述语言,(Wright,UniCon,Acme),卡内基梅隆大学,(CMU),SE,特色方向发展简介,(,续,),实验室或研究组,ISR:,软件相关研究,SEI:,工业界联系和技术转化,CyLab:,信息安全,Software Arch.Group(with SEI):,软件体系结构领域的领先团队,当前研究热点,软件体系结构,(,复杂设计的模型检查和仿真、体系架构设计与实现的一致性,),自愈系统,(,基于体系架构模型的系统自监控、自适应机制,),基于价值的设计,(,基于设计的软件特性预测、设计评估技术,),形式化方法,(,定理证明器、程序验证、模型检查算法、软件系统的模型检查,),卡内基梅隆大学,(CMU),SE,方向代表人物,Mary Shaw,Stevens Award,Warnier Prize,ACM Fellow,IEEE Fellow,AAAS Fellow,IFIPS Working Group 2.10(,软件体系架构,),和,IFIPS Working Group 2.4(,程序语言,),工作组的成员,Research:,价值驱动软件设计、软件体系结构、编程语言、可靠软件开发、软件评估,主要成果,Soft.Arch.,描述语言,UniCon,可组装的软件系统,卡内基梅隆大学,(CMU),SE,方向代表人物,Robert Harper,ACM Fellow in 2005,研究领域：,程序语言类型系统、逻辑框架和元语言、算法和编程语言、安全信息网格等,主要贡献,模块化程序语言的类型系统,Twelf:,逻辑架构和定理证明器,PCC,和,TIL:,第一个验证的编译器,用于动态算法的自调整计算,(Self-adjusting computation),康奈尔大学,(Cornell),CS:,www.cs.cornell.edu,ECE:,www.ece.cornell.edu,学科方向情况,特色：,Database,、,Scientific Computing,其它：,Graphics,Architecture,AI,Database,特色方向发展简介,早期针对数据库理论开展研究,从,90,年代末转向研究大型带有噪声数据的数据库的应用研究，包括数据挖掘、数据访问、数据发布、数据演化等方面的研究,近年来的主要研究方向包括发布,/,订阅中的事件流处理、数据驱动游戏设计、数据私密性、数据驱动科学中的,Peta,级数据管理和分析服务、不确定数据库管理等,标志性成果,数据挖掘算法：,MAFIA(Mining Maximal Frequent Itemsets),、,SPAM(Sequential Pattern Mining),、,SECRET(Scalable Linear Regression Trees),TeXQuery,语言，,W3C,据此制定了,XQuery,语言,实验室和研究组,计算机系下的,Database research group,康奈尔大学,(Cornell),Database,方向突出项目,HIMALAYA Data Mining Project,NSF IIS-0121175&IIS-0084762,KD-D Initiative,针对大型数据集研究相应的挖掘算法,由,Johannes Gehrke,领导,项目成果：,MAFIA(Mining Maximal Frequent Itemsets),SECRET(Scalable Linear Regression Trees),and(SPAM:Sequential Pattern Mining),康奈尔大学,(Cornell),Database,方向主要研究人员,Johannes Gehrke,研究方向：,数据库系统、数据挖掘、数据私密,重要研究项目：,Himalaya,Cayuga(event-monitoring system),他所研究的数据挖掘算法已成功应用到金融市场、科学计算、天文数据等领域,康奈尔大学,(Cornell),Scientific Computing,方向,针对大型科学和工程中的实验和设计问题，研究可靠、高效和扩展性强的数值算法，包括线性代数、优化和偏微方程求解等。,主要研究人员包括,Doug James:,研究计算机动画和仿真中的几何和物理算法,(,特别是针对快速变形的模型,),、实时图形绘制算法、触觉力反馈显示算法、复杂场景的听觉显示算法,普林斯顿大学,(Princeton),CS:,www.cs.princeton.edu/,学科方向,特色：,Graphics&,Vision&,Sound(GVS),其它：生物信息学、计算机网络系统、机器学习、程序语言和安全等,普林斯顿大学,(Princeton),GVS,特色方向发展历程,当前研究方向：几何造型,图形渲染和动画,信息和科学可视化,计算机音频和音乐,人机交互,实验室,Sound Lab,Graphics Group,Vision Group(,已迁往,Stanford,大学,),普林斯顿大学,(Princeton),Sound Lab,特色项目,:chuck(,声音编程语言,),用于声音实时合成、组合和演奏的并发，强实时编程语言,研究方向：声音编程环境、声音编程语言、声音合成和分析、基于特征的实时声音拼接、声波建模、声音数字信号处理和可视化,代表人物,Perry R.Cook:head of the lab,推动和发展了,基于物理的建模、歌声合成、计算机音乐控制器设计准则等方向的研究,主要成果：,Synthesis Toolkit(STK),、,ChucK programming language,、,Princeton Laptop Orchestra(PLOrk),普林斯顿大学,(Princeton),Graphics Group,研究方向,交互式,3D,线条绘画,3D,轮廓的线条绘画,3D scanning,3D,轮廓分析和提取、,3D,模型搜索引擎、真实感绘图,特色项目,3D,模型搜索引擎：数据库中有约,3.1,万个,3D,模型,3D,绘画项目,(,多个,),：绘制算法、渲染算法等研究,主要研究人员,Bernard Chazelle,美国艺术和科学院研究员、世界创新基金会研究员、欧洲科学院研究员,研究方向：计算几何、算法、分形理论等,主要成果,:,线性时间的简单多边形三角切分、,基于分形的下确界技术、,寻找最小生成树渐近算法,德州大学奥斯丁分校,(UT-Austin),ECE:,www.engr.utexas.edu/programs/electrical,学科方向,特色：基于构件的软件开发,(CBSD),其它：人工智能和机器人、,生物信息学、计算机体系结构、形式化方法、科学计算、信息安全等,CBSD,方向的研究,Automatic Programming(,从规格组装出程序,),基于通用算法的程序合成,针对数据处理,Visual Parallel,Programming,在串行程序基础上，通过架构无关的数据处理并行化建模，可以自动面向具体的架构生成相应的并行程序,Automated Software Design Research,软件生产线、程序生成,/,合成、领域相关语言、模型驱动工程、重构、元编程,德州大学奥斯丁分校,(UT-Austin),CBSD,方向主要研究人员,Don Batory,professor,1999-2002:,IEEE Transactions on Software Engineering,副主编,2004-2007:,Journal of Aspect Oriented Software Development,副主编,1986-1992:,ACM Transactions on Database Systems,副主编,研究方向：大规模应用合成、基于构件的开发方法学、基于特征的设计方法、自适应软件技术、参数化编程技术,威斯康辛大学,(Wisconsin),CS:,www.cs.wisc.edu/,ECE:,www.engr.wisc.edu/ece.html,学科方向情况,特色方向：处理器微架构、多,(,核,),处理器,其他方向：数据库、操作系统、编译、软件工程、计算机网络、人工智能、计算机安全,威斯康辛大学,(Wisconsin),发展简介,1963,从数学系中独立,80,年代在数据库领域确立领先地位；,90,年代在计算机体系结构、分布式计算等领域确立领先地位,标志性成果,多处理机,cache,一致性总线侦听协议,精确异常流水线、非阻塞,cache,IEEE SCI(Scalable Coherent Interface),Simplescalar,模拟器、,GEMS,模拟器、,WWT/WWT-II,模拟器,实验室或研究组,Multiscalar,：多核、,ILP,Multifacet,：多核,/,多处理器平台,当前研究热点,ILP,、多核,/,多处理器体系结构及容错,威斯康辛大学,(Wisconsin),Gurindar S.Sohi,计算机科学系主任,IEEE fellow,，,ACM fellow,获奖,1999,：,ACM SIGARCH Maurice Wilkes award(“,在高发射处理器和指令级并行方面具有开创性贡献”,),突出贡献,支持精确异常的流水线,(,被,150,个专利索引,),非阻塞,cache,代表项目,Simplescalar,模拟器,威斯康辛大学,(Wisconsin),代表性项目,Multiscalar,Multifacet,Condor,美国大学总结,基本目标,学术研究：有长远影响力的学术成果,学生培养：满足社会发展需要的优秀人才,美国大学总结,学术研究,方向持续稳定,重视战略决策和规划,(John Hennessy,：”前瞻,/,冒险“,),十年磨一剑,重视基础研究,做好基础性研究有助于应用性研究,应用性研究为基础性研究提出问题,学科交叉融合,计算机学院,/,系普遍具有跨学科特征,(,生物,/,医学,/,机械,),产生新兴学科,与业界合作,从业界来：提炼并解决科学问题,/,关键技术,与业界合作中，极少承担企业应用的具体工程实施,到业界去：技术转让，更多的是人才转让,创办技术创新型企业,美国大学总结,学生培养,世界级的教授，世界级的教学,David Patterson,：优秀教师,(,教学,),被更快提拔,重视科研基本素质培养,课程普遍要求：分组,、,选题、研究、写文章、陈述,鼓励学生去公司实习,锻炼学生能力、获取确切问题、拓展合作范围,美国大学总结,-,宽松的学术氛围,学术民主,尊重但不迷信权威,鼓励年轻人脱颖而出,学术思想交流与碰撞,欧洲一流计算机专业介绍,英国大学,2009,英国计算机专业排名,1,剑桥大学,(University of Cambridge),2,牛津大学,(University of Oxford),3,帝国理工学院,(Imperial College),4,爱丁堡大学,(The University of Edinburgh),5,南安普顿大学,(University of Southampton),剑桥大学,(University of Cambridge),计算机实验室,(Computer Laboratory),Website:,www.cl.cam.ac.uk/,成立于,1937,年,38 academic staff,25 support staff,40 affiliated research staff,and 154 research students,图灵奖获得者两人,主要学科方向,数字技术,信息安全,人工智能,计算机体系结构,图形学与交互,自然语言与信息处理,程序、逻辑与语义,剑桥大学,(University of Cambridge),数字技术方向,标志性成果,1949:,EDSAC,，世界上,第一台实现内部存储程序的,计算机,1970s-1980s,：剑桥环,(Cambridge Ring),和剑桥快速环,(Cambridge Fast Ring),，剑桥快速环后来进一步发展为,ATM,剑桥大学,(University of Cambridge),数字技术方向代表性人物,Maurice Wilkes(1913-),EDSAC,的设计师,第二届图灵奖获得者,(1967),英国皇家学会会员,(FRS,1956),，,英国皇家工程学会会员,(FREng),以他命名,ACM SIGARCH Maurice Wilkes Award,Andy Hopper(1953-),大英帝国司令勋章,(CBE,2007),英国皇家学会会员,(FRS,2006),英国皇家工程学会会员,(FREng,1996),，,ACM SIGMOBILE,杰出贡献奖,(Outstanding Contribution Award,2004),剑桥大学,(University of Cambridge),数字技术方向当前研究热点,普适计算,Pervasive Computing,感知计算,Sentient Computing,移动计算,Mobile Computing,通信系统,Communication Systems,未来计算,Computing for the Future of the Planet,剑桥大学,(University of Cambridge),信息安全方向,标志性成果,著名的,BAN,认证逻辑,(Burrows-Abadi-Needham logic for authentication),，代表性论文“,A logic of authentication,”,(1990),被引用,940,次,Needham-Schroeder,安全协议,TEA,和,XTEA,加密算法,BEAR,、,LION,和,Tiger,密码系统原型,剑桥大学,(University of Cambridge),信息安全方向代表性人物,Roger Michael Needham(1935-2003),大英帝国司令勋章,(CBE,2001),英国皇家学会会员,(FRS,1985),英国皇家工程学会会员,(FREng,1993),Ross Anderson(1956-),英国皇家学会会员,(FRS,2009),英国皇家工程学会会员,(FREng,2009),剑桥大学,(University of Cambridge),信息安全方向当前研究热点,匿名通信,Anonymous communication,API,安全,API security,银行业务安全,Banking security,生物特征识别,Biometric identification,信息安全经济学,Economics of information security,硬件安全,Hardware security,医学信息安全,Medical information security,定位系统,Location and positioning systems,爱丁堡大学,(The University of Edinburgh),信息学院,(School of Informatics),简介,成立于,1998,年，由计算机科学系、人工智能系与认知科学系组成。,Website:,www.ed.ac.uk/schools-departments/informatics,75 academic staff,130 research staff,。图灵奖获得者,1,人。,主要学科方向,计算机科学基础理论,大规模并行计算,e-Science,爱丁堡大学,(The University of Edinburgh),计算机科学基础理论方向发展简介,标志性成果,可计算函数逻辑(LCF,Logic for Computable Functions,),，最早的自动理论证明工具之一,函数式编程语言,(,ML,)，第一个多态类型推理语言,并行理论(CCS,Calculus of Communicating Systems,),结构化操作语义,(SOS,Structural O