Always strive for excellence, not perfection.
The only limit to our realization of tomorrow is our doubts of today.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
城市是一个不断进化的生命体。
对抗病毒是一场持续的战斗,科学必须始终领先一步。