I think the only free man can feel this kind of excitement, a free man step on a long journey, towards the uncertain future.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
你不需要气象员来知道风往哪个方向吹。
患者不是统计数据;他们是我们每天突破界限的原因。
建筑是人与自然的桥梁。
我的人生就像我的音乐,充满即兴和变化。