from    
to    
search  

 


Symmetry restoration and quantum Mpemba effects in chaotic andlocalization sy...
Quantum Gases 2024
Stories of Fermions in an Optical Box
Contractive Unitary and Classical Shadow Tomography
报告题目:
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...
清华将军与历史转变:孙立人、蒋中正与麦克...
工物学术论坛系列报告--磁约束聚变研究
清华大学历史系讲座:古文书中的日本
 
同类别相关信息
人工智能拓展火灾安全研究的进展
第四届清华信息前沿交叉论坛
浅谈人工智能重塑城市公共安全治理新范式
AIR学术沙龙第37期|创新智能环境:无...
脑机接口时代,我们还能做什么?——脑科...
学术活动