Теория автоматов и приложения, модели вычислений, информационные технологии, автоматизированные системы проектирования ЭВМ