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
CS-422: Database systemsThis course is intended for students who want to understand modern large-scale data analysis systems and database systems. It covers a wide range of topics and technologies, and will prepare students
MATH-679: Group schemesThis is a course about group schemes, with an emphasis on structural theorems for algebraic groups (e.g. Barsotti--Chevalley's theorem). All the basics will be covered towards the proof of such theore
