Харитонов Дмитрий Иванович


кандидат технических наук
старший научный сотрудник
403
2-320-702
2-60
demiurg@iacp.dvo.ru

старший научный сотрудник

руководитель Центра коллективного пользования "Дальневосточный вычислительны ресурс"

область интересов: параллельные вычисления, сети Петри, верификация программ, теория языков программирования, многопроцессорные вычислительные системы, компьютерные сети и протоколы