АБВ
АБВ
АБВ

Обычная версия сайта

Кампусы

Подразделения

По категориям

Ординарные профессораЗаслуженные профессораЗаслуженные работникиЛучшие преподавателиЧитающие курсы на английском языкеПолучатели академических надбавокАкадемический кадровый резервАдминистративный кадровый резервАспиранты

По учёным званиям и степеням

Члены и члены-корреспонденты РАН и РАОИмеющие степень PhD

По наградам

Награжденные государственными наградами и почетными званиямиОтмеченные наградами и почетными званиями Правительства, Федерального собрания и федеральных органов исполнительной властиОтмеченные наградами и почетными званиями регионов и муниципальных образованийНагражденные наградами иностранных государствНагражденные почетным знаком ВШЭЛауреаты премии “Золотая Вышка”Награжденные медалями ВШЭОтмеченные почетными грамотами и дипломами университета

Научные интересы

сбросить фильтры

Научные интересы: «теория алгоритмов»Подразделения

ФИО и должность

Контакты

15304

Кудинов Андрей Валерьевич

Доцент: Факультет математики / Базовая кафедра Института проблем передачи информации им.А.А.Харкевича (ИППИ) РАН

модальная логика топологическая семантика логика знания теория алгоритмов 27.03.17 Алгоритмы и вычислимые функции 27.03.19 Математическая логика

27334

Лукьяненко Никита Сергеевич

Старший преподаватель: Факультет компьютерных наук / Департамент больших данных и информационного поиска

Сложность вычислений теория алгоритмов

+7 (495) 772-95-90
15304

Рыбаков Михаил Николаевич

доцент: Факультет математики

математическая логика математическая логика и теория моделей модальная логика интуиционистская логика Теория вычислительной сложности теория алгоритмов