你必须为梦想而奋斗。你必须为之牺牲并努力工作。

"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

We believe that architecture is a tool to improve lives, and that's the only reason why architecture is important.

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