I don’t chase success, I chase excellence.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
我们生活在一个人们有越来越多的时间,但彼此之间的时间却越来越少的时代。
The best art is the one that doesn’t explain itself.
在你雇佣人之前,你需要确认他的三项素质:正直诚实,聪明能干,精力充沛。但是最重要的是正直诚实,因为如果他不正直诚实而又具备了聪明能干和精力充沛,你的好日子也就到头了。
It is not the computer's fault that Maxwell's equations are not adequate to design the electric motor.