TTIC offers a graduate program leading to a doctorate in computer science, and is currently focusing primarily on theoretical computer science (algorithms and complexity), machine learning (and related AI applications), programming languages (and related areas such as formal verification and security) and scientific computing (including numerical analysis, numerical optimization, and signal proces