Innovation in science often comes from looking at old problems in new ways.

I'm not afraid to fail. I'm not afraid to take risks.

计算的未来在于开发能够自我验证正确性的系统。

译文：江河东流永不回头，生死其实就像一场梦。

We believe that we need to own and control the primary technologies behind the products we make.

艺术是最高形式的希望。

我们都是古老遗传信息的临时容器。