Гасанов Эльяр Эльдарович (доктор физико-математических наук, профессор, заведующий кафедрой)

• Дипломная работа (2021): Автоматическая трансляция текста правил дорожного движения в формальную модель.