I don't want to be a star. I want to be an actress.

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

写作的行为是一种勇气的行为。

Talent is the most important resource in the semiconductor field. We need to cultivate and attract the best minds.

No arts； no letters； no society； and which is worst of all， continual fear and danger of violent death； and the life of man， solitary， poor， nasty， brutish， and short.

学习人工智能的最佳方法是通过做项目和解决现实世界的问题。