I have always considered that the true test of a machine is its practical utility in the hands of the common laborer.

I like looking nice, but I always put comfort over fashion.

The authentic is not knowable, but it is experiencable.

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

Leadership means making tough decisions with compassion and clarity.