Description
Faculty Mentor: Amr Sabry
Homotopy Type Theory is a new development that establishes surprising connections between logic, algebra, geometry, topology, computer science, and physics. This project will involve formalization of mathematical results in homotopy type theory. The exact topics will depend on the student's interest and background.