我不是歌手。我是讲故事的人。
The most personal is the most creative.
"Cada libro es un acto de fe en el poder transformador de las palabras."
民主的未来取决于民主社会自我改革的能力。
The beauty of virology is that viruses teach us the rules of life by breaking them.
"You never really understand a person until you consider things from his point of view."
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。