计算机与通信前沿技术名家讲坛第七讲

名家讲坛

<<

2012-11-01
点击数:1234

                计算机与通信前沿技术名家讲坛第七讲

报告题目:Creating a Foundational Curriculum in Computer Science

时   间 :
2012年11月9日上午10:00-11:30

地   点 :
图书馆东楼403室

报告人:
美国国家工程院Randal E. Bryant院士

    1973年,于密歇根大学获得应用数学学士学位,并于1981年获得麻省理工学院的博士学位。1984至今在卡内基梅隆大学计算机学院工作,历任助理教授、副教授、教授。ACM和IEEE的资深会员。
2003年,当选美国国家工程院院士。2004年4月,担任卡内基梅隆大学计算机科学学院院长。
    他的研究和教学兴趣包括硬件设计,验证和测试,以及算法和计算机体系结构。他撰写的计算机体系教材,目前在全球有75所以上的学校使用。分别于1987年和2003年,获得CAD事务最佳论文奖,并在1989年获得IEEE Baker奖。

报告内容简介:
    At Carnegie Mellon University, we have refined the core of our computer science curriculum over the years to emphasize fundamental principles of computation, as viewed from multiple perspectives:
• 1.For programming, we have separate introductory courses on functional and on imperative programming models. These courses cover not just the mechanics of writing programs, but also methods to formally reason about data types, data structures, and program execution.
• 2.For theoretical computer science, our students study discrete mathematics and the core principles of algorithms and complexity.
• 3.Our coverage of computer systems emphasizes how the combination of hardware and systems software work together to support program execution and network communication, as viewed from a programmer’s perspective.
• 4.We have revised our introductory algorithms course to consider parallel models of computation, viewing programs as being able to execute on a maximum of P processors, with sequential execution being the special case of P = 1.
We believe that a curriculum that emphasizes foundational principles is of increasing importance as software forms the basis of many safety-critical systems, and as programs must operate in increasingly hostile execution environments. We have found that students can master these fundamental concepts, and that both our graduates and their employers appreciate their ability to develop and evaluate software in principled ways.