These programs often feature the theory of computation, analysis of algorithms, formal methods, concurrency theory, databases, computer graphics, and systems analysis, among others.
Такие программы часто включают в себя теорию алгоритмов, анализ алгоритмов, формальные методы, параллелизм в информатике, базы данных, компьютерную графику, системный анализ и другие.