Research is a journey where the destination is unknown, but the pursuit is everything.
我每天都像在拼命奋斗。
I don't want to be like anyone else, I want to be myself.
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."