ERN, Geneva, Switzerland, May — November 2010. [3] Alan Richards Fellow in Mathematics, University of Durham, UK, 31 May — 9 July 2007. [4] Member, Institute for Advanced Study, Princeton, NJ 08540, January — July 2006. [5] Visiting Scientist, Center for Theoretical Physics, MIT, Cambridge, MA 02139, April — May 1996. [6

. Connections and Symbols. MIT Press, 1988. Pro13. The Univalent Foundations Program. Homology Type Theory: Univalent Foundations of Mathe- matics. Institute for Advanced Study, 2013. RCC93. D. A. Randell, Z. Cui, and A. G. Cohn. A spatial logic based on regions and connection. 1993. Rcs99. J. Reece. Genetic programming

ely, the entire class, professor included, became Nobel laureates, which is probably unique in the history of science. Yang moved to the venerable Institute for Advanced Study in Prince- ton in 1949, where he nurtured his budding collaboration with Lee on 2P_Glealer-Storgverrold_Atinid 15a 12/16116 3:06 PIA EFTA00286075