Kharitonov Dmitry Ivanovich


PhD (Tech.)
senior scientific employee
403
2-320-702
2-60
demiurg@iacp.dvo.ru

Senior Researcher

Head of Shared Resource Center «Far Eastern Computing Resource» (cc.dvo.ruhttp://iacp.dvo.ru/structure/collective/centr3)

Fields of interest: Software Engineering, Programming Languages, Formal Verification, Petri Nets, Program Analysis, Petri Nets Modeling, Applied mathematics, Parallel and Distributed Computing, Information systems design and development, Distributed systems, Supercomputing.