"Richard J. Lipton"