Decision problems in group theory, combinatorial and geometric group theory, computability theory, low-dimensional topology.