Артёмов Сергей Николаевич

(род. 25.12.1951). Окончил механико-математический факультет МГУ.

Доктор физико-математических наук (1989).

Профессор (1994–н.вр.), заведующий лабораторией логических проблем информации (1995–?) кафедры математической логики и теории алгоритмов механико-математического факультета.

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

Читал курсы «Введение в математическую логику», «Математическая логика», «Логика доказательств».