Death is one of the few things that can be done as easily lying down.

宇宙不仅比我们想象的更奇怪，它比我们能够想象的还要奇怪。

I’m not a guy that’s going to let my name down.

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

The only time I feel alive is when I'm creating.