形式化方法的美在于它们能够提供关于系统行为的绝对保证。
如果你无法向非科学家解释你的化学研究,说明你理解得还不够深入。
The proper study of psychology is not what the mind is, but what the mind does.
In the semiconductor field, if you stop to rest, you will be surpassed by others.
"No hay historias pequeñas, solo hay historias mal contadas."