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.