Калачев Глеб Вячеславович (кандидат физико-математических наук, научный сотрудник)

• Дипломная работа (2018): Автоматический перевод математических текстов с естественного языка в язык логики предикатов.