技术的未来取决于构建它的人的多样性。
The future of technology depends on the diversity of those who build it.
How will you use these gifts？ And will you take pride in your gifts or pride in your choices？
小说是个人的艺术形式。
Every building is a kind of confession.
The function of art is to make the invisible visible.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."