from    
to    
search  

 


【图书馆系列讲座】古典文献全文数据库检索与利用
【图书馆系列讲座】统计数据、术语定义类检索案例分析与信息获取之道
理学院科学之美讲坛: The XENON project: at the forefront of Dark Matter Direct...
全球变化科学紫荆论坛第427期:热带气旋日变化研究
报告题目:
Some Old and New Unsolved CS Problems
 报告人:
Juris Hartmanis
1993 Turing Award Winner
Walter R. Read Professor of Engineering
报告时间:
2007-09-20 09:00
报告地点:
清华大学 FIT楼 多功能厅
主办单位:
清华大学 理论计算机科学研究中心
  简介:

Abstract: This talk will review the classic separation problems of Computational Complexity classes and mention some possible approaches. It will also discuss the impact of the Internet and some results and problems about networks.

 

Bio:Professor Juris Hartmanis has been a leader in the field of Theoretical Computer Science for the past 40 years. Together with Dick Stearns, he wrote one of the earliest papers in the field "On the computational complexity of algorithms" (Trans. Amer. Math. Soc., 177 (1965), 285-306) in which they first proposed the fundamental idea of capturing the quantitative behavior of computation, and to classify computations by their intrinsic computational complexity. Their papers firmly established computational complexity theory as a mathematical discipline. It is with this paper the field took its name.

Hartmanis and Stearns shared the ACM A. M. Turing Award in 1993, "In recognition of their seminal paper which established the foundations for the field of computational complexity theory." To quote Dick Karp, another Turing Award winner, "it is the 1965 paper by Juris Hartmanis and Richard Stearns that marks the beginning of the modern era of complexity theory. Using the Turing machine as their model of an abstract computer, Hartmanis and Stearns provided a precise definition of the complexity class consisting of all problems solvable in a number of steps bounded by some given function of the input length n,… All of us who read their paper could not fail to realize that we now had a satisfactory formal framework for pursuing the questions that Edmonds had raised earlier in an intuitive fashion?questions about whether, for instance, the traveling salesman problem is solvable in polynomial time." The latter problem, after the work of Cook and Karp, is now universally known as the P versus NP problem.

Professor Hartmanis has also been a founder of a leading center of computer science research at Cornell University. He established one of the very first Department of Computer Science in the world, and served as its first Chairman. Under his guidance, Cornell's Computer Science Department became a top research department, which has always been ranked among the top departments in the US.

At the national level, Prof. Hartmanis was very influential in shaping the direction of Computer Science research in the US. For several years he served as the leading person at the US National Science Foundation responsible for all Computer Science research funded by the US National Science Foundation. In that capacity, Juris was responsible for a major study "Computing the future: a broader agenda for computer science and engineering" by the National Research Council, coauthored with Herbert Lin, which sets out the new direction of Computer Science research in the next decade.

Juris is nominated as Einstein Professor of the Chinese Academy of Sciences in 2006.

 

 

今日相关信息
清华环境法论坛系列学术讲座之Globaliza...
清华将军与历史转变:孙立人、蒋中正与麦克...
工物学术论坛系列报告--磁约束聚变研究
清华大学历史系讲座:古文书中的日本
 
同类别相关信息
Interactive Visualization – A Key ...
临床医学与工程技术沙龙
现代搜索引擎技术
清华信息大讲堂第142讲: Scaling Prox...
硅谷公司的大数据实战分析(Best pract...
学术活动