Кафедра математической логики и теории алгоритмов

Механико-математического факультета МГУ


Любецкий Василий Александрович

Профессор кафедры, заведующий лабораторией математических методов и моделей в биоинформатике ИППИ РАН, д. ф.-м. н.
E-mail адресlyubetsk at iitp.ru
Личная страницаhttp://lpcs.math.msu.su/~lyubetsky/
Научные интересыЭволюция и функции живого; математические модели и алгоритмы; программирование для суперкомпьютера; биоинформатика. Полиномиальные по сложности (особенно, линейные) и точные алгоритмы оптимизации на графах, сведение к целочисленному линейному программированию. Абсолютно неразрешимые проблемы – простые утверждения из математического анализа, для которых невозможно обосновать как их правильность, так и ложность; случайные вещественные числа – их нельзя локализовать простым множеством; локализации колец. Теория множеств, теория моделей, нестандартный анализ.