海洋渔业是蓝色经济的核心，我们要用科技的力量让渔业更可持续。
Ocean fisheries are the core of the blue economy, and we must use technology to make fisheries more sustainable.
Every breakthrough is at first laughable and ridiculous. In fact if it did not start out laughable and ridiculous， it is not a breakthrough.
我不相信扮演反派或英雄。我相信扮演人。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
A brand for a company is like a reputation for a person. You earn reputation by trying to do hard things well.