Исследует фундаментальные основы вычислений: теорию сложности, формальные языки, автоматы, неразрешимые задачи, разрабатывает новые алгоритмические концепты.
На данный момент нет содержимого, классифицированного этим термином.
Справочник Учебных заведений
Теоретический компьютерный ученый (Theoretical Computer Scientist)