The best architecture has no ego. It simply serves.

艺术家必须创造自己的神话。

"No hay peor dictadura que la del olvido."

The challenge in model checking is not just to find errors, but to understand why they occur.

It's not the tools you have faith in – tools are just tools – they work， or they don't work.It's people you have faith in or not.

唱歌不仅是我的职业，更是我的热爱。