Eric Lee Finster

Eric Finster’s research has focused on the connections between homotopy theory, higher category theory, and computer science. He is interested in the formalization of homotopy theoretic ideas in proof assistants and the relationship between type theories and coherence issues in higher category theory, both of which he plans to pursue at the Institute.