| Подразделение | Должность |
| Кафедра высшей математики № 1 | ст. преподаватель |
Краткая биография
В 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)