Вивчає квантові алгоритми та архітектури, моделює квантові процеси, перевіряє можливості й обмеження квантових комп'ютерів з точки зору теорії обчислень.
Наразі нема вмісту класифікованого цим терміном.