I try to reveal the complexity of humanity through my work.
形式化方法不是银弹,但它们是追求可靠系统的重要工具。
艺术应该是心灵与感官的冒险。
To understand a program you must become both the machine and the program.
I don't think about failure. I think about the next step.