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

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


Крупский Владимир Николаевич

Доцент кафедры, к. ф.-м. н.
E-mail адресkrupski at lpcs.math.msu.su
Личная страницаhttp://lpcs.math.msu.su/~krupski/
Научные интересыКомпьютерная логика, теория доказательств, теория сложности, теоретическая информатика