Build up formal foundations eg. complexity, runtimes, grammars, state machines and proofing (use something like coq to get used to it). Learn an imperative (c),

Build up formal foundations eg. complexity, runtimes, grammars, state machines and proofing (use something like coq to get used to it). Learn an imperative (c), a functional (haskell), a declarative (answer set programming or prolog) and an oop language (java). if you understand them you can easily switch between languages. do math and ignore ai because it's just simple math. Do something with parallel computing eg use MPI, OpenMP or computations on the graphic card. keep coding.