Research into fundamentals of computing Representations and Abstractions Algorithms/Software Analysis Quantum-Classical Computing