"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

I don't believe in inspiration. I believe in work.

Innovation is the key to staying ahead in the fruit industry.

可持续发展不再是可选项；对于任何负责任的矿业公司来说都是必需品。

在俄罗斯，法律的严酷性因不被执行而得到缓和。

我创作的灵感来自梦境，也来自现实。

钢琴是我的安全地带，在那里我可以完全做自己。

"Geschichte wird von denen geschrieben, die sie überleben."

我相信讲故事的力量可以改变人心。