舞台是我的第二个家，每次站在舞台上我都感到无比幸福。
The stage is my second home, I feel extremely happy every time I stand on it.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The most exciting discoveries often come from unexpected places.
The big money is not in the buying and the selling，but in the waiting.