Лаборатория Логических проблем информатики

Заведующий лабораторией
Артёмов Сергей Николаевич

Ученый секретарь
Яворская Татьяна Леонидовна