Generate a correct and concise answer for the question based on the words in the context.

Context : 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.
Question : The college Anne Sjerp Troelstra attended was what?
University of Amsterdam