Заведующий кафедрой
Успенский Владимир Андреевич
Ученый секретарь
Золин Евгений Евгеньевич
Почтовый адрес: 119992, Москва, ГСП-2, Ленинские горы, МГУ, Механико-математический факультет, кафедра математической логики и теории алгоритмов
Аудитория на факультете: 16-05
Сайт кафедры: http://lpcs.math.msu.su/rus/logic.htm
Телефон: +7(495)9393031
Лаборатория Логических проблем информатики