Geometric Topology (embedding theory, links modulo knots, combinatorial topology and its foundations, resolution of singularities) Algebraic Topology of metrizable spaces and 0-dimensional groups
Foundations of Mathematics (homotopy type theory, conservative extensions of intuitionistic logic, semantics of the meta-logic of first-order logics)
Main publications:
S. A. Melikhov, “Topological isotopy and Cochran’s derived invariants”, Topology, Geometry, and Dynamics: V. A. Rokhlin Memorial, Contemporary Mathematics, 772, eds. A. M. Vershik, V. M. Buchstaber, A. V. Malyutin, Amer. Math. Soc., Providence, RI, 2021, 249–266 arXiv: 2011.01409