"The world is full of stories, and every story is a world in itself."

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

"The best way to lead is to be inclusive."

I have learnt how to live... how to be in the world and of the world, and not just to stand aside and watch.

计算的力量不仅在于解决问题，还在于其解决问题的优雅和效率。