ПК-6 - способен применять существующие подходы к верификации моделей программного обеспечения
ПК-9 - способен проектировать трансляторы и интерпретаторы языков программирования
ПК-15 - способен применять навыки создания программного обеспечения для анализа, распознавания и обработки информации, систем цифровой обработки сигналов
ПК-16 - способен применять навыки создания трансляторов и интерпретаторов языков программирования
ПК-20 - способен применять навыки организации промышленного тестирования создаваемого программного обеспечения