The more I study nature, the more I stand amazed at the work of the Creator.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
What is necessary to change a person is to change his awareness of himself.
The cultivation of flowers and trees is the cultivation of the good, the beautiful and the true.
The past is a shadow that shapes the present.
本能的本质在于它独立于理性而被遵循。