我是一个形式主义者。
I am a formalist.
I like crossing the imaginary boundaries people like to draw between scientific fields.
A leader’s role is to remove obstacles so that the team can perform at its best.
La literatura es el alimento del alma, nos nutre y nos hace crecer.
The only lies for which we are truly punished are those we tell ourselves.
在计算机科学领域，数学严谨性是构建可靠高效算法的基石。