Your work is going to fill a large part of your life, and the only way to be truly satisfied is to do what you believe is great work.
伟大的公司建立在伟大的文化之上。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
策展就是实践一种智识上的好客。
艺术作品是一道愈合的伤口。