中国计算机科学计划 : 2020

Opening Remark

What Makes an Algorithm Great?

Privacy and Secrecy in the Age of the Internet and

Search Engines

Computer Science：A New Way to Think

The Algorithmic Lens：How the Computational

Perspective is Changing the Sciences

Randomness-A Computational Perspective

Model Checking：My 28-year Quest to Overcome the

State Explosion Problem

Future Reseamh Directions in Computer Science

Technology in Service of Society

The Personal Digital Augmenter and Buffer Overflow in

Humans

Probabilistic Models for Holistic Scene Understanding

Computational Thinking and Thinking About Computing

Large Networks：A New Language for Science

Mechanisms for A New World

Your Students Are Your Legacy

China Computer Science Vision 2020 Committee have invited many of the leading computer scientists to give lectures on their perspectives on the state of the art of computer science today, and the likely future shape of computer science in ten to fifteen years. This is a great opportunity to get their experiences and advice on how to build a modern computer science department starting from the fundamentals. It is hoped that this book, besides imparting valuable scientific knowledge, will be shedding light on China's future road towards building a first-rate computer science discipline!