Закончил механико-математический факультет МГУ, кафедра «Математическая логика и теория алгоритмов» и там же защитил кандидатскую диссертацию.
Основное место работы: Институт проблем передачи информации РАН http://www.iitp.ru.
Сфера научных интересов: Неклассические логики, топологическая семантика, алгоритмическая сложность, логика знания.
email: kudinov[тут собачка]iitp[точка]ru
