The Most-Cited Computer Scientist Has a Plan to Make AI More Trustworthy