系统设计的未来在于将形式化方法与传统工程实践相结合。
I'm not a pessimist. I'm an optimist trained in realism.
History is not just about the past; it's about how the past shapes the future.
Every character I play is a part of me. I find pieces of myself in each role and bring them to life.
——在遗嘱上签名后,对在病榻的同志们说,1925年3月11日