Collaboration across borders is essential to solving global food challenges.

The great challenge of our time is to build institutions that can manage the complexity of modern societies.

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."