Mathematics
Category theory, fusion categories, quantum symmetries, topological quantum field theory, logic theory, homotopy type theory, formal verification
Physics
Mathematical physics, quantum computing, topological quantum computation, topological phases of matter, quantum gravity, black holes, high-energy physics.
Computer Science
Quantum algorithms, complexity and computability theory, formal methods, proof assistants, artificial intelligence, open-science software