Старая версия сайта доступна по ссылке http://old.miet.ru Перейти
  
  
  
  
Романов Алексей Васильевич

Краткая биография

В 2003 г. окончил механико-математический факультет МГУ им. Ломоносова по специальности «Прикладная математика».

С 2003 г. работает на кафедре Высшей математики №1 МИЭТа, сначала в должности ассистента, потом старшего преподавателя.

С 2006 г. также преподает на кафедре Информатики и программного обеспечения вычислительных систем.

Читаемые курсы

  • Математическая логика и теория алгоритмов (МПиТК, кафедра ВМ-1, 2 курс)
  • Функциональное и логическое программирование (МПиТК, кафедра ИПОВС, 4 курс)
  • Функциональное программирование (МПиТК, кафедра ВМ-1, 5 курс)

Кроме того, ведёт семинарские занятия по другим курсам математики и программирования.

Научная деятельность

Научная специальность: 01.01.06 Математическая логика, алгебра и теория чисел.

Области научных интересов: конструктивная и другие неклассические логики, теория языков программирования.

Книги:

  • Кожухов И.Б., Романов А.В. Общая алгебра. Учебное пособие. М., МИЭТ, 2009.

Публикации:

  • Alexey Romanov. De Jongh and Glivenko theorems for equality theories. Journal of Applied Non-Classical Logics 17 (3):347-357 (2007)
  • Alexander Slesarenko, Alexander Filippov and Alexey Romanov. First-class Isomorphic Specialization by Staged Evaluation. 10th ACM SIGPLAN Workshop on Generic Programming (WGP 2014)