Sergey A. Melikhov

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.