The college XXX attended was what?
Anne Sjerp Troelstra
Anne Sjerp Troelstra (born 10 August 1939) is Emeritus professor of pure mathematics and foundations of mathematics at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.
University of Amsterdam