MATH-436: Homotopical algebraThis course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous
CS-550: Formal verificationWe introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to u
AR-402(ag): Studio MA2 (Fröhlich M. & A.)Qu'est-ce qu'une serre sans le végétal ? Ou un jardin d'hiver sans l'hiver ? Dans le cadre de la série « Tackle The Type », le studio étudiera les serres d'un point de vue typologique et explorera l'a
AR-302(ag): Studio BA6 (Fröhlich M. & A.)Qu'est-ce qu'une serre sans le végétal ? Ou un jardin d'hiver sans l'hiver ? Dans le cadre de la série « Tackle The Type », le studio étudiera les serres d'un point de vue typologique et explorera l'a
MATH-687: Algebraic models for homotopy typesln this course we will develop algebraic and coalgebraic models for homotopy types.
Among other things we will learn about Quillen's and Sullivan's model of rationâl homotopy types and about Mandell's
AR-671: The Fifth TypologyA PhD workshop and symposium on the issue of type and its use in the study, critique and practice of architecture.
