"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

Challenge the status quo, but respect the wisdom of those who came before you.

Leadership is about making others better as a result of your presence and making sure that impact lasts in your absence.

面对挑战要迎难而上，把危机转化为发展机遇。