Melikhov, Sergey A.

Field of Study: Geometric Topology, Homotopy Type Theory

Research Description: Sergey Melikhov works in geometric topology, focusing recently on combinatorial embedding theory, algebraic topology of the group of p-adic integers, and foundational issues. At the Institute, he intends to study geometric aspects of homotopy type theory, aiming at a more combinatorial setup and at clarifying the role of simple homotopy.