Every building is a prototype, because every building is unique.
The only way to do great work is to love what you do.
I have enjoyed greatly the second blooming that comes when you finish the life of the emotions and you can just enjoy the things around you.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
希望是长着羽毛的东西，栖息在灵魂里。
The only way to do great work is to love what you do.
Financial innovation must be balanced with risk prevention and control.
The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!' but 'That's funny...'
我不考虑我的声音。我只是唱歌。