Лавров Игорь Андреевич

Лавров Игорь Андреевич был ведущим научным сотрудником отдела «Теоретической информатики» ИСП РАН, специалистом в области математической логики и теории алгоритмов. Основные направления его исследований: элементарные теории, рекурсивные функции, сводимости, степени неразрешимости, рекурсивно перечислимые множества, обобщения понятия вычислимости и др.

Автор более 50 работ в области математической логики и теории алгоритмов. Совместно с Максимовой Л.Л. написал "Задачи по теории множеств, математической логике и теории алгоритмов". Книга выдержала пять изданий на русском языке, а также была переведена на английский, венгерский и польский языки.

Игорь Андреевич выставил на сайт ИСП РАН обширную библиографию по "Общей теории вычислимости", включающей информацию о более, чем 3000 книг и научных статей по данной тематике, в том числе более 800 на русском языке.