No matter what , just do not give up .Always believe that your dream can come true & just keep working for what you want to achieve.

The truth is, we are all exiles.

艺术是交流的工具。

模型检查是验证有限状态并发系统正确性的强大技术。

我不抱怨，不为自己辩解，我接受一切并继续工作。

我认为，一个人应该认识到现实，即使他不喜欢它；事实上，尤其是当他不喜欢它的时候。

讽刺的真正目的是通过纠正来改善恶习。