English

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

См. также список сотрудников кафедры на сайте ИСТИНА

СЕМЁНОВ Алексей Львович
профессор, доктор физико-математических наук, академик РАН
заведующий кафедрой с 01.09.2018
области научных интересов — определимость отношений в структурах,
разрешимость логических теорий, комбинаторика слов, символическая динамика
MathNet | ИСТИНА | DBLP | Math Genealogy | eLibrary | ВШЭ | МФТИ | РАН | РАО | Wiki
YouTube | Видео: лекции 2012 / 2013 / 2014

БЕКЛЕМИШЕВ Лев Дмитриевич
профессор, доктор физико-математических наук, академик РАН (с 15.11.2019)
область научных интересов — теория доказательств, фрагменты формальной арифметики, логика доказуемости, модальная логика, теоремы Гёделя, неполнота, доказательство, вычислимость

MathNet | ИСТИНА | DBLP | Google Scholar | Math Genealogy | eLibrary | ВШЭ | Wiki | YouTube

БЕЛОВ Алексей Яковлевич
доктор физико-математических наук, профессор МИОО и Бар-Иланского университета, деятель олимпиадного движения, член редколлегии журналов «Квант», «Математическое просвещение», «Фундаментальная и прикладная математика».
область научных интересов — теория колец, PI-теория, проблема Шпехта, полиномиальные автоморфизмы, проблема Якобиана, Квантизация, символическая динамика, комбинаторика слов, самозаклинивающиеся структуры
MathNet | ИСТИНА | Google Scholar | Math Genealogy | eLibrary | МФТИ | Wiki | YouTube

ВЕРЕЩАГИН Николай Константинович
профессор, доктор физико-математических наук,
область научных интересов — сложность вычислений и колмогоровская сложность

MathNet | ИСТИНА | DBLP | Google Scholar | Math Genealogy | eLibrary | ВШЭ | YouTube
Видео спецкурса «Сложность вычислений»: осень 2014
Видео спецкурса «Коммуникационная сложность»: весна 2016 | весна 2017

ЗОЛИН Евгений Евгеньевич
старший научный сотрудник кандидат физико-математических наук,
учёный секретарь кафедры с 01.04.2012
область научных интересов — модальная логика, дескрипционная логика
ezolin [жучка] yandex . ru
MathNet | ИСТИНА | DBLP | Google Scholar | Math Genealogy | eLibrary | ResearchGate | ВШЭ | YouTube

КРУПСКИЙ Владимир Николаевич
доцент, кандидат физико-математических наук
область научных интересов — компьютерная логика, теория доказательств, теория сложности, теоретическая информатика

MathNet | ИСТИНА | DBLP | Math Genealogy | eLibrary

КУЗНЕЦОВ Степан Львович
ассистент, кандидат физико-математических наук,
область научных интересов — математическая лингвистика, линейная логика

MathNet | ИСТИНА | DBLP | Google Scholar | Math Genealogy | eLibrary | ВШЭ | МФК | YouTube

ЛЮБЕЦКИЙ Василий Александрович
профессор, доктор физико-математических наук,
область научных интересов — модели и алгоритмы в биоинформатике, теория множеств, теория моделей
lyubetsk@iitp.ru
MathNet | ИСТИНА | DBLP | Math Genealogy | eLibrary | ИППИ

ОНОПРИЕНКО Анастасия Александровна
инженер
MathNet | ИСТИНА | ВШЭ | СУНЦ

ПЕНТУС Мати Рейнович
профессор, доктор физико-математических наук,
заместитель заведующего кафедрой с 1999 г.
область научных интересов — компьютерная логика, неклассическая логика, теория доказательств, математическая лингвистика
MathNet | ИСТИНА | DBLP | Math Genealogy | eLibrary | РГГУ | МФК | YouTube

ПЛИСКО Валерий Егорович
доцент, кандидат физико-математических наук,
область научных интересов — конструктивная логика

MathNet | ИСТИНА | DBLP | Math Genealogy | eLibrary | YouTube

СОРОКИН Алексей Андреевич
ассистент, кандидат физико-математических наук,
область научных интересов — математическая лингвистика, теория формальных языков, категориальные грамматики, вычислительная лингвистика
alexey.sorokin [at] list.ru
MathNet | ИСТИНА | DBLP | Math Genealogy | eLibrary | МФК

ЧИСТЯКОВА Регина Александровна
секретарь кафедры
ИСТИНА

ШЕХТМАН Валентин Борисович
профессор, доктор физико-математических наук,
область научных интересов — неклассическая логика

MathNet | ИСТИНА | DBLP | Math Genealogy | eLibrary | ИППИ | ВШЭ | YouTube

ЯВОРСКАЯ Татьяна Леонидовна
доцент, кандидат физико-математических наук,
область научных интересов — теория доказательств, конструктивная логика

MathNet | ИСТИНА | DBLP | Math Genealogy | eLibrary