President Donald Trump earlier called him "the greatest king in my book", as he bid farewell at the White House.

Armando Solar-Lezama, Distinguished Professor of Computing and Associate Director of the Computer Science and Artificial ...